Caml-get 0.7

[Maxence Guesdon <maxence.guesdon@inria.fr>]

Hello,

I'm glad to announce the release of Caml-get 0.7.

Caml-get is a tool to distribute and get Objective-Caml code in a way
similar to the apt-get utility. It is useful to distribute and reuse small
pieces of code rather than create (and depend on) a library for each of them.

More details on the Caml-get page:
  http://pauillac.inria.fr/~guesdon/camlget.en.html

Changes in 0.7:
- new architecture: there is now a Camlget library, used by the command
line tool. A Camlget_gui module allows to create graphical interfaces to
handle camlget repositories (client side).

- the command line tool now asks the user before upgrading a piece of code
and can display the differences between the current code and the new
version.

- a new ocamldoc generator, odoc_cgtest, is included. Using @cgtest tags in
ocamldoc comments, one can write ocaml expressions of type bool; the
odoc_cgtest generator gather these assertions in a single file which can
be run to perform tests (i.e. indicate which assertions fail). Odoc_htmlcg,
the included html generator, can handle these new tags to display the
assertions in the documentation. Here is an example of definition of
assertions:
(** [v1 << v2] returns true if version [v1] is strictly
inferior to version [v2] .
   @cgtest The following assertions hold:
- [[1;2] << [1;3]]
- [not ([1;2] << [1;2])]
- [let v = [ 1; 2 ; 3] and w = [ 1; 2] in w << v ]
*)
val (<<) : version -> version -> bool

- The plugin for cameleon has been improved.

Cheers,

-- 
Maxence Guesdon
http://yquem.inria.fr/~guesdon/
http://devel.inria.fr/rocq/