From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA15018 for caml-red; Tue, 19 Dec 2000 17:32:17 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA23325 for ; Tue, 19 Dec 2000 15:55:53 +0100 (MET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eBJEtrf02055 for ; Tue, 19 Dec 2000 15:55:53 +0100 (MET) Received: from pc803.lri.fr (IDENT:root@pc803 [129.175.8.114]) by ext.lri.fr (8.11.1/jtpda-5.3.2) with ESMTP id eBJEtoQ03031 ; Tue, 19 Dec 2000 15:55:50 +0100 (MET) Received: by pc803.lri.fr (8.9.3/feuille) id PAA04858 ; Tue, 19 Dec 2000 15:55:52 +0100 X-Authentication-Warning: localhost.localdomain: filliatr set sender to filliatr@pc803 using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <14911.30456.121199.219521@pc803> Date: Tue, 19 Dec 2000 15:55:52 +0100 (MET) To: caml-list@inria.fr Subject: ocamlweb 0.9 X-Mailer: VM 6.49 under Emacs 20.4.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: weis@pauillac.inria.fr Dear Ocaml users, It is our pleasure to announce the release 0.9 of ocamlweb, a literate programming tool for ocaml. The main novelties are: o a support for ocaml 3.00 syntax o a support for lex and yacc files (nice pretty-print and full indexation of tokens, regexp, identifiers in actions, etc.) o a nicer default behavior: when no sectioning commands (*s are used, then the noweb style is automatically selected and index uses page numbers. Source and binary distributions, documentation and examples are available at the following address: http://www.lri.fr/~filliatr/ocamlweb/index.en.html Comments and suggestions are welcome. -- Jean-Christophe Filliâtre and Claude Marché == Français ================================================================ La version 0.9 d'ocamlweb est disponible. Il s'agit d'un outil de programmation littéraire pour ocaml. Les nouvautés de cette version sont : o un support pour la syntaxe ocaml 3.00 o un support pour les fichiers lex et yacc (avec indexation des expressions régulières, des lexèmes, des identificateurs dans les actions, etc.) o un comportement par défaut plus agréable : si aucune commande de section (*s n'est utilisée, alors le style noweb est utilisé et l'index utilise les numéros de pages. Les distributions source et binaires, la documentation et des exemples sont disponibles à l'adresse suivante : http://www.lri.fr/~filliatr/ocamlweb/index.fr.html Tout commentaire est le bienvenu. -- Jean-Christophe Filliâtre and Claude Marché