fichier CHANGES (idem : en francais pour l'instant)

821c2aa7 · Jean-Christophe Filliâtre · 33e5bda8 · 821c2aa7
Commit 821c2aa7 authored Feb 17, 2010 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

CHANGES CHANGES +4 -0

No files found.
--- a/CHANGES
+++ b/CHANGES
+
+2010-02-17 JC
+  o noms qualifis (cf src/test.why)
+