Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: hypertext ML code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Valerie Menissier-Morain <menissie@p...>
Subject: Re: hypertext ML code

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
-----------------------------------------------------------