# address data base used for the hlins documentation

# name with 8-bit character
Jean-Christophe Filliātre   = http://www.lri.fr/~filliatr
# name with HTML special character
Claude March&eacute;        = http://www.lri.fr/~marche
# multiple spaces in a name are ignored
Ralf           Treinen	    = http://www.lri.fr/~treinen
# surpress abbreviation of the "first name"
<Objective> Caml	    = http://caml.inria.fr/
HeVeA			    = http://para.inria.fr/~maranget/hevea/index.html


