From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id SAA04444 for caml-redistribution; Thu, 28 Dec 1995 18:45:30 +0100 Received: (from menissie@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id QAA03007; Thu, 28 Dec 1995 16:59:19 +0100 Date: Thu, 28 Dec 1995 16:59:19 +0100 From: Valerie Menissier-Morain Message-Id: <199512281559.QAA03007@pauillac.inria.fr> To: caml-list@pauillac.inria.fr, hayden@cs.cornell.edu Subject: Re: hypertext ML code Sender: weis Etags (for emacs), ctags (for vi) do this. It seems to me that there was a small package to create ml ad hoc tags in the distribution of Caml-Light 0.6 with the name mletags. ----------------------------------------------------------- Valérie Ménissier-Morain ----------------------------------------------------------- INRIA Projets Coq & Cristal Domaine de Voluceau -- BP 105 -- F-78153 Rocquencourt Cedex Tel.: (33 1) (16 1) 39 63 55 98 Fax: (33 1) (16 1) 39 63 53 30 E-mail: Valerie.Menissier@inria.fr ----------------------------------------------------------- Université d'Évry Val d'Essonne Département Informatique/Mathématiques 4, Boulevard des Coquibus 91025 Évry Cedex Tel.: (33 1) (16 1) 69 47 74 74 Fax: (33 1) (16 1) 69 47 74 72 E-mail: Valerie.Menissier-Morain@lami.univ-evry.fr -----------------------------------------------------------