| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-01-14 | Fix bug #2086, error message when we match on an non-inductive type. | msozeau |
| 2009-11-11 | Promote evar_defs to evar_map (in Evd) | glondu |
| 2009-11-09 | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin |
| 2009-10-21 | This big commit addresses two problems: | soubiran |
| 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 |