From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA29765; Sat, 10 Mar 2001 00:14:30 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 AAA22792 for ; Sat, 10 Mar 2001 00:14:30 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f29NETn25990 for ; Sat, 10 Mar 2001 00:14:29 +0100 (MET) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.11.1/8.11.1) with ESMTP id f29NESr16904 for ; Sat, 10 Mar 2001 00:14:28 +0100 (MET) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 14bW5c-0000XI-00 for ; Sat, 10 Mar 2001 00:14:28 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: caml-list@inria.fr Subject: [Caml-list] Enhanced Ocaml Documentation Version 3.01 X-Mailer: VM 6.34 under Emacs 20.7.2 Message-Id: Date: Sat, 10 Mar 2001 00:14:28 +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dear all, I would like to announce the enhanced ocaml documentation version 3.01 available via http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.01. The enhanced documentation contains the original html version of the ocaml reference manual with the following changes: - Changes (wrt version 3.00) 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 Have fun spotting those differences that have not been announced by Xavier! Hendrik ----------------------------------------------------------------- Hendrik Tews Department of Theoretical Computer Science Dresden University of Technology, Germany Telefon: +49 351 463 8351 e-mail: tews@tcs.inf.tu-dresden.de www: http://home.pages.de/~tews/ pgp key: http://home.pages.de/~tews/pgpkey.asc ----------------------------------------------------------------- ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr