Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Re: No /usr/bin/ocamltags in current ocaml package
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-01-17 (18:02)
From: Cuihtlauac ALVARADO <cuihtlauac.alvarado@f...>
Subject: [Caml-list] Re: No /usr/bin/ocamltags in current ocaml package
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 :

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:  FAQ:
To unsubscribe, mail  Archives: