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 TAA19537; Thu, 17 Jan 2002 19:02:12 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA18926 for caml-list@pauillac.inria.fr; Thu, 17 Jan 2002 19:02:12 +0100 (MET) 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 SAA16522 for ; Wed, 16 Jan 2002 18:09:42 +0100 (MET) Received: from p-mail1.rd.francetelecom.com (p-mail1.rd.francetelecom.com [193.49.124.31]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id g0GH9f505659 for ; Wed, 16 Jan 2002 18:09:41 +0100 (MET) Received: by p-biset.rd.francetelecom.fr with Internet Mail Service (5.5.2653.19) id ; Wed, 16 Jan 2002 18:09:27 +0100 Received: from francetelecom.com (lat4148.rd.francetelecom.fr [10.193.6.100]) by l-mhs1.rd.francetelecom.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id ZH14MJ8L; Wed, 16 Jan 2002 18:09:39 +0100 Date: Wed, 16 Jan 2002 18:09:37 +0100 From: Cuihtlauac ALVARADO To: caml-list@inria.fr Subject: [Caml-list] Re: No /usr/bin/ocamltags in current ocaml package Message-ID: <20020116180937.C1034@francetelecom.com> References: <20020116162506.A7475@dpt-info.u-strasbg.fr> <86k7uitgfs.fsf@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5.1i In-Reply-To: <86k7uitgfs.fsf@speakeasy.org>; from itz@speakeasy.org on Wed, Jan 16, 2002 at 08:21:27AM -0800 Organization: France Telecom R&D Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I'm not so sure to get it all right, but it reminds me that we forgot to announce the new Otags release (for Ocaml 3.04). Jean-Francois has just finished to upload it at : http://moninjf.multimania.com/Ocaml/otags-3.04.tar.gz Nothing very new in this release, except the version number which matches Ocaml's. We've tested it on Coq V7.2, it worked. Like the last version it is now stand alone, you don't need anything but Ocaml to compile. Hope it can help; comments, bugs and misc. are wellcome. -- Cuihtlauac ALVARADO - France Telecom R&D - DTL/MSV 2, avenue Pierre Marzin - 22307 Lannion - France Tel: +33 2 96 05 32 73 - Mob: +33 6 08 10 80 41 ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr