From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by margaux.inria.fr, Thu, 7 Oct 93 11:59:15 +0100
Received: from concorde.inria.fr by margaux.inria.fr, Thu, 7 Oct 93 01:38:30 +0100
Received: from Tamuz.Stanford.EDU by concorde.inria.fr; Thu, 7 Oct 1993 01:40:40 +0100
Received:  by Tamuz.Stanford.EDU (5.61/25-theory-eef) id AA27367; Wed, 6 Oct 93 17:40:18 -0700
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)
Content-Type: text/plain
Sender: weis@margaux

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.