| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Various improvements in handling of evars in general and typing |  msozeau | 2008-06-21 |
| * | Correct implementation of undo in obligations handling code, correct some bug... | msozeau | 2007-04-17 |
| * | Abbreviation of order notation. | msozeau | 2007-02-01 |
| * | Various fixes in subtac, update some test cases. | msozeau | 2007-01-29 |
| * | Update some tests and fix section bug. | msozeau | 2007-01-24 |
| * | Fix wrong order of existentials in eterm. | msozeau | 2006-06-23 |
| * | The "clean integration of subtac" patch. | msozeau | 2006-05-29 |
| * | Test files for subtac. | msozeau | 2006-04-14 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |