From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id E94ECBB84 for ; Wed, 10 May 2006 15:46:06 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4ADk6ow009930 for ; Wed, 10 May 2006 15:46:06 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA17836 for ; Wed, 10 May 2006 15:46:05 +0200 (MET DST) Received: from tintin.inria.fr (tintin.inria.fr [128.93.24.126]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4ADk5Kl009925 for ; Wed, 10 May 2006 15:46:05 +0200 Date: Wed, 10 May 2006 15:46:04 +0200 From: Maxence Guesdon To: caml-list@inria.fr Subject: Caml-get 0.7 Message-ID: <20060510154604.7a1d8c3a@tintin.inria.fr> Organization: INRIA X-Mailer: Sylpheed-Claws 2.0.0 (GTK+ 2.4.9; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4461EE9E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4461EE9D.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 apt-get:01 reuse:01 ocamldoc:01 odoc:01 ocamldoc:01 ocaml:01 bool:01 odoc:01 val:01 bool:01 cameleon:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 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/