aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Omega.v
Commit message (Expand)AuthorAge
* A generic preprocessing tactic zify for (r)omegaGravatar letouzey2007-07-18
* Test conflictuel - ajouté pour mémoireGravatar herbelin2006-01-11
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* BUGGravatar herbelin2003-12-24
* Bug commit precedentGravatar herbelin2003-12-23
* Renommages des hypotheses transformees car en raison des possibles dependance...Gravatar herbelin2003-12-23
* Omega échouait à effacer les hypothèses à contenu arithmétique lorsque c...Gravatar herbelin2002-10-23
* Ajout exemple JCF conflit variable interne, variable de sectionGravatar herbelin2002-06-06
* Ajout exemple Yves renommage différent d'une var de sectionGravatar herbelin2002-06-06
* *** empty log message ***Gravatar herbelin2002-01-25
* Ajout test de Pierre CrégutGravatar herbelin2002-01-21
* *** empty log message ***Gravatar herbelin2002-01-18