From:	 David Mentre <David.Mentre@inria.fr>
To:	 lwn@lwn.net
Subject: Attn: Development Editor, Latest Caml Weekly News
Date:	 07 Aug 2001 16:33:59 +0200

Hello,

Here is the latest Caml (Dual-)Weekly News (July 25 to August 7, 2001).

======================================================================
1) Ocaml 3.02 is out
----------------------------------------------------------------------
Xavier Leroy announced:

A must-have for your summer vacations: version 3.02 of the Objective
Caml system, now available from the usual places:

        http://caml.inria.fr/ocaml/distrib.html
        ftp://ftp.inria.fr/lang/caml-light/

This is essentially a bug-fix release (see detailed list below).

For general info on Objective Caml, see http://caml.inria.fr.  Bug
reports go to caml-bugs@inria.fr, questions to caml@inria.fr,
and general discussions to the mailing-list caml-list@inria.fr or the
comp.lang.ml or comp.lang.functional newsgroups.

======================================================================
2) Ocamlp4 3.02 is out
----------------------------------------------------------------------
Latest Ocamlp4 (for new Ocaml 3.02) is available at usual location.

======================================================================
3) CamlIDL 1.02 is out
----------------------------------------------------------------------
Xavier Leroy announced:

This is summer clearance here at INRIA, so I figured I could just as
well release version 1.02 of CamlIDL, the C/Caml stub code generator
and COM binding for Caml.  Available from the usual place:

                  http://caml.inria.fr/camlidl/

The list of changes is included below.

CamlIDL 1.02:
-------------

* Added support for the "long long", "hyper int" and "__int64" types
  (64-bit C integers)
* Added support for "const" modifier on pointer types
* Support for [unique] attribute on big arrays, turned into option types
  in the Caml interface
* Generated C code should now compile cleanly with a C++ compiler
* Print source location for most warnings
* Error location was sometimes way off; this is now fixed
* Fixed incorrect code generated for the types HRESULT_int and HRESULT_bool
* Fixed refcount management bug causing early deallocation of interfaces
  implemented in Caml.

======================================================================
4) Enhanced ocaml documentation version 3.02 is out
----------------------------------------------------------------------
Hendrik Tews announced:

The enhanced ocaml documentation version 3.02 available at
http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.02.


The enhanced documentation enriches the original html version of
the ocaml reference manual with the following features:

- Changes (wrt version 3.01) are tagged with icons and color

- meta symbols of the grammar are "hot" and refer to their
  definition. 

- additional appendix containing just the grammar rules

======================================================================
5) Release 1.10 of Ensemble
----------------------------------------------------------------------
A new Ensemble release is now available from the
system's home page:

     http://www.cs.cornell.edu/Info/Projects/Ensemble


-----------------------------------------------------------------------------------------------------
     RELEASE_NOTES for Ensemble version 1.10

Author: Ohad Rodeh
Last updated: 31/07/2001

CHANGES

1. The socket library was rewritten so as to be compatible with
   the OCaml Unix library. This allows ML programs to freely
   intermix code and data structures from the Ensemble Socket library
   with code written for the Unix library.

2. Final touches for the security code. The diamond rekey protocol, and
   the key-tree rekey protocol are complete. All known security holes have
   been plugged. The system should now be completly secure, please send us
   any possible attack scenarios.

3. Port to WIN2000 is complete. In fact, the code works better on WIN2000
   than on NT.

4. Revised all the makefiles.

5. Various bug fixes:
   - Thread race conditions in maestro were fixed.
   - 15 second delays while merging.
   - And many others ...

======================================================================

Best regards,
d.
-- 
 David.Mentre@inria.fr
 Opinions expressed here are only mine.