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