aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success/Omega.v
AgeCommit message (Expand)Author
2002-10-23Omega échouait à effacer les hypothèses à contenu arithmétique lorsque c...herbelin
2002-06-06Ajout exemple JCF conflit variable interne, variable de sectionherbelin
2002-06-06Ajout exemple Yves renommage différent d'une var de sectionherbelin
2002-01-25*** empty log message ***herbelin
2002-01-21Ajout test de Pierre Crégutherbelin
2002-01-18*** empty log message ***herbelin