| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-06-29 | Fix bug introduced by last revision, subtac_cases was returning the | msozeau |
| 2009-06-28 | Abstract the tycon by the matched terms when turning them into variables | msozeau |
| 2009-06-28 | Improve return predicate inference by making the return type dependent | msozeau |
| 2009-05-26 | Fix de Bruijn lifting bug appearing when we match on multiple terms with | msozeau |
| 2009-04-08 | Some dead code removal + cleanups | letouzey |
| 2009-04-07 | Fixes in Program: | msozeau |
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |