2 contribs: splay trees and otags

2 contribs: splay trees and otags

[Jean-Francois Monin]

Deux contributions ont ete mises dans la "bosse" 
 http://caml.inria.fr/hump.html.

La premiere est une bibliotheque pour arbres evases (arbre ordonnes
binaires, ou les elements souvent accedes sont pres de la racine).
Il s'agit ici d'une version mutable.

La seconde (faite avec Cuihtlauac Alvarado) est un utilitaire de
generation de tags pour Emacs prenant en compte tous les identificateurs,
y compris les constructeurs de type somme et les champs de records.
Elle contient egalement un concatenateur des fichiers de tags gerant
les chemins de maniere coherente avec l'arborescence des repertoires.

===[translation]===

Two contribs have been added in the hump.

The first one is a library for mutable splay trees. (Splay trees, due
to Sleator and Tarjan, are ordered binary trees where often accessed
items are near the root.) The algorithm has excellent
(amortized) complexity. It is available from 

   http://caml.inria.fr/hump.html#datastr

The second one (Cuihtlauac Alvarado and myself) is an Emacs tag
generator for Ocaml source files, working also with syntaxes extended
with Camlp4. It handles all identifier, including sum constructors and
record fields. It also includes cattags, which catenates tags files in
a way consistent with the directory structure.  It is available from

   http://caml.inria.fr/hump.html#emacs

-- 
Jean-Francois Monin, CNET DTL/MSV,          Tel +33 2 96 05 26 79
2 av. Pierre Marzin, 22307 Lannion, France  Fax +33 2 96 05 39 45
SANS TRAIT D'UNION :     JeanFrancois.Monin@cnet.francetelecom.fr