| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2008-06-17 | Cleanup in subtac_cases, preparing to use improvements on return predicate | msozeau |
| 2007-03-26 | Make multiple patterns work again with Program while simplifying the code. | msozeau |
| 2007-03-13 | Solve obligation handling bug of trying to solve automatically at Next Obliga... | msozeau |
| 2007-02-23 | Debug wellfounded defs, work on cleaning obls envs | msozeau |
| 2006-09-28 | Add dependent list combinators test. | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |