# 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é = 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
Generated by dwww version 1.15 on Wed Jun 26 18:25:03 CEST 2024.