Request diff between arbitrary revisions - Display revisions graphically
Keyword substitution: kv
Default branch: MAIN
Current tag: rpl-4_1_17
Grosse mise à jour de ./tools et changement des copyrights. Correction d'une variable non initialisée dans FORALL.