From: Jean-Francois Monin <JeanFrancois.Monin@cnet.francetelecom.fr>
To: caml-list@inria.fr
Cc: Cuihtlauac.Alvarado@cnet.francetelecom.fr,
JeanFrancois.Monin@cnet.francetelecom.fr
Subject: 2 contribs: splay trees and otags
Date: Wed, 10 Mar 1999 13:46:05 +0100 [thread overview]
Message-ID: <199903101246.NAA26158@lsun565.lannion.cnet.fr> (raw)
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
reply other threads:[~1999-03-10 16:57 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199903101246.NAA26158@lsun565.lannion.cnet.fr \
--to=jeanfrancois.monin@cnet.francetelecom.fr \
--cc=Cuihtlauac.Alvarado@cnet.francetelecom.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox