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