Caml Light to Caml Special Light translator
To get Caml2csl version 1.0.
The release of caml2csl for Objective Caml 1.03 is available:
Caml2ocaml version 2.0
The latest update of caml2csl translates Caml Light 0.74 towards
Objective Caml 2.00.
Download it.
Core library to translate Coq user tactics
click here to get the core library to translate user tactics.
To get the updated version: coq.zlc.gz
Usage:
caml2csl -clib coq.zlc toto.caml
