Request diff between arbitrary revisions - Display revisions graphically
Keyword substitution: kv
Default branch: MAIN
units 2.11 pour remplacer la version 2.02.
Grosse mise à jour de ./tools et changement des copyrights. Correction d'une variable non initialisée dans FORALL.