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 UAA22166 for caml-redist; Tue, 2 May 2000 20:50:19 +0200 (MET DST) 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 OAA31133 for ; Tue, 2 May 2000 14:50:16 +0200 (MET DST) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.119]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id OAA26599 for ; Tue, 2 May 2000 14:50:15 +0200 (MET DST) Received: from ithif20.inf.tu-dresden.de (ithif20 [141.76.75.120]) by tcs.inf.tu-dresden.de (8.9.1a/8.9.1) with ESMTP id OAA15158 for ; Tue, 2 May 2000 14:49:11 +0200 (MET DST) Received: (from tews@localhost) by ithif20.inf.tu-dresden.de (8.9.1a/8.9.1) id OAA20379; Tue, 2 May 2000 14:48:55 +0200 (MET DST) Date: Tue, 2 May 2000 14:48:55 +0200 (MET DST) Message-Id: <200005021248.OAA20379@ithif20.inf.tu-dresden.de> From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: caml-list@inria.fr Subject: Enhanced ocaml 3.00 documentation X-Mailer: VM 6.34 under Emacs 19.34.1 Sender: weis Hi, I would like to announce the enhanced ocaml documentation version 3.00 available via http://wwwtcs.inf.tu-dresden.de/~tews/software.html. The enhanced documentation contains in http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.00/ the original html version of the ocaml reference manual with the following changes: - Changes (wrt version 2.04) are tagged with icons and color - meta symbols of the grammar are "hot" and refer to their definition. There is also a page http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.00/full-grammar.html containing all grammar rules from the reference manual for easy and quick reference. Bye, Hendrik ----------------------------------------------------------------- Hendrik Tews PhD student in theoretical computer science at Dresden University of Technology, Germany e-mail: tews@tcs.inf.tu-dresden.de www: http://home.pages.de/~tews/ pgp key: http://home.pages.de/~tews/pgpkey.asc -----------------------------------------------------------------