Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Unset Asymmetric Patterns | 2013-01-18 | |
* | Changed encoding from ISO-8859-1 to UTF-8 for some remaining gallina files. | 2012-06-12 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | Adaptation to ocaml 3.11 new semantics of String.index_from (see bug #1974) | 2008-11-04 | |
* | Wish #1582 (3eme) | 2007-05-18 | |
* | Correction d'un bug refine | 2006-11-10 | |
* | Vieux bug de fin 2004 gardé pour mémoire | 2006-05-05 | |
* | Ajout bug #1102 | 2006-04-28 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Fix bug #931: leave dependent evars as such for refine | 2005-03-08 | |
* | Erreur commit précédent | 2004-12-06 | |
* | Ajout bug #888 | 2004-12-06 | |
* | Ajout bug #889 | 2004-12-06 | |
* | Ajout exemple Yves | 2003-12-12 | |
* | Refine et let-in | 2001-09-20 |