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 NAA25596 for caml-redistribution; Fri, 8 Nov 1996 13:43:24 +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 LAA23265 for ; Fri, 8 Nov 1996 11:41:24 +0100 (MET) Received: from cosmos.imag.fr (cosmos.imag.fr [147.171.130.1]) by concorde.inria.fr (8.7.6/8.7.1) with ESMTP id LAA27118 for ; Fri, 8 Nov 1996 11:41:24 +0100 (MET) Received: (from defourne@localhost) by cosmos.imag.fr (8.6.13-durand/8.6.9) id LAA01842; Fri, 8 Nov 1996 11:41:23 +0100 Date: Fri, 8 Nov 1996 11:41:23 +0100 Message-Id: <199611081041.LAA01842@cosmos.imag.fr> From: Gilles Defourneaux To: caml-list@pauillac.inria.fr Subject: caml tags Sender: weis Hello, is there any package to generate vi- or emacs-readable tags for caml-light / ocaml available please ? Thank you, Gilles [Existe t'il un outil pour generer des tags pour emacs ou vi de sources ocaml ou meme caml-light ? Merci] -- \\/// #include (O O) --------------------------------------------oOo--(_)--oOo-------- Gilles DÉFOURNEAUX | Automated Deduction Team | ATINF project - LEIBNIZ lab | Grenoble, FRANCE | Gilles.Defourneaux@imag.fr