From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9310070040.AA27367@Tamuz.Stanford.EDU>
Subject: release of Caml Light version 0.6
To: caml-list@margaux
Date: Wed, 6 Oct 1993 17:40:15 -0700 (PDT)
The version 0.6 of the Caml Light system has been released.
It is available by anonymous FTP from:
host: ftp.inria.fr (192.93.2.54)
directory: lang/caml-light
Summary of the files:
README More detailed summary
cl6unix.tar.Z Unix version
cl6macbin.sea.hqx Binaries for the Macintosh version
cl6macsrc.sea.hqx Source code for the Macintosh version
cl6pc386bin.zip Binaries for the 80386 PC version
cl6pc386src.zip Source code for the 80386 PC version
cl6pc86bin.zip Binaries for the 8086 PC version
cl6pc86src.zip Source code for the 8086 PC version
cl6refman.ps.Z Reference manual, Postscript
cl6refman.dvi.Z Reference manual, DVI
cl6refman.txt Reference manual, plain text
cl6refman.prn Reference manual, plain text + underline & bold
cl6tutorial.ps.Z Tutorial, Postscript
cl6tutorial.dvi.Z Tutorial, DVI
cl6tutorial.txt Tutorial, plain text
cl6tutorial.prn Tutorial, plain text + underline & bold
The PC and Macintosh versions will soon be distributed on floppy disks
by INRIA. Before releasing Caml Light on floppy disks, we would
greatly appreciate if you could quickly download and test the
Macintosh or PC versions and report any problem encountered.
This release is mostly a bug-fix release and should be compatible with
Caml Light 0.5. Main changes:
* Better handling of type abbreviations.
* Debugging mode (option -g to camlc and camllight) to get access
to the internals of module implementations.
* New library modules:
genlex generic lexical analyser
set applicative sets over ordered types
map applicative maps over ordered types
baltree balanced binary trees over ordered types
* "compile" command at toplevel (especially useful in the Macintosh version).
* New contributed libraries and tools:
camlmode Emacs editing mode for Caml Light
mletags Indexing of Caml Light source files for use with Emacs "tags"
search_isos Search libraries by types (modulo isomorphisms)
libgraph X implementation of the portable graphics library
libnum Arbitrary-precision arithmetic
libstr String operations, regular expressions
* The 80386 PC version is now DPMI-compliant, hence it can run under Windows
(in text mode inside a DOS windows and with no graphics, though).
* More examples, including those from the book "Le langage Caml".
The implementors can be contacted at caml-light@margaux.inria.fr.
General questions and comments of interest to the Caml community
should be sent to caml-list@margaux.inria.fr, the Caml mailing list.
Thank you for your attention.
- Xavier Leroy, Pierre Weis.