| Age | Commit message (Expand) | Author |
|---|
| 2008-06-21 | Various improvements in handling of evars in general and typing | msozeau |
| 2008-06-18 | Improvements in subtac: | msozeau |
| 2008-06-03 | Fixes incorrect handling of existing existentials variables in | msozeau |
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-04-17 | Little fixes in setoid_rewrite. | msozeau |
| 2008-03-28 | - Second pass on implementation of let pattern. Parse "let ' par [as x]? | msozeau |
| 2008-03-06 | Syntax changes in typeclasses, remove "?" for usual implicit arguments | msozeau |
| 2008-02-08 | Change implementation of resolution for typeclasses to use a customized | msozeau |
| 2008-01-31 | Fix obvious syntax error. Forgot to recompile before commiting... | msozeau |
| 2008-01-31 | Finish let| implementation and document it | msozeau |
| 2008-01-30 | Work on dependent induction tactic and friends, finish the test-suite example | msozeau |
| 2008-01-18 | Fix bug #1778, better typeclass error messages. Move Obligations Tactic to a ... | msozeau |
| 2008-01-17 | Add new LetPattern construct to replace dest. syntax: let| pat := t in b is b... | msozeau |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-08-27 | Suppression des type_app et body_of_type qui alourdissent inutilement le code | herbelin |
| 2007-03-19 | Add a parameter to QuestionMark evar kind to say it can be turned into an obl... | msozeau |
| 2007-03-15 | Suppression argument pattern_source du case_info (code jamais utilisé) | herbelin |
| 2007-02-19 | Various little subtac fixes, add some useful tactics. | msozeau |
| 2007-02-12 | Fix matching on dependent types, taking a safe stand. | msozeau |
| 2007-01-15 | Various subtac fixes. | msozeau |
| 2007-01-08 | Subtac fixes, support for reasoning on wf defs. | msozeau |
| 2007-01-02 | Rework subtac pattern matching equalities generation. | msozeau |
| 2006-12-08 | Subtac bug fix, add list take example. | msozeau |
| 2006-11-29 | Fork of cases impl for subtac. | msozeau |
| 2006-10-29 | Suite commit polymorphisme | herbelin |
| 2006-09-15 | Report de l'heuristique d'unification premier ordre flexible/rigide | herbelin |
| 2006-06-01 | Fix some nasty bug with the evars-to-dependent sum encoding. | msozeau |
| 2006-05-29 | The "clean integration of subtac" patch. | msozeau |
