Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Restored a "feature" of unification in pre-8.3 (it was used e.g. in a | herbelin | 2010-06-25 |
* | Revision 12557 continued (better rendering of dependent rewrite) | herbelin | 2009-12-13 |
* | Restructuration of command.ml + generic infrastructure for inductive schemes | herbelin | 2009-11-08 |
* | Correction problème de compil (blast.ml) | herbelin | 2008-04-04 |
* | Correction typo liée au commit 8779 (levait une anomalie) | herbelin | 2007-02-21 |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | herbelin | 2005-12-21 |
* | Ajout test dependent rewrite | herbelin | 2004-10-27 |