| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update some tests and fix section bug. |  msozeau | 2007-01-24 |
| * | Default tactic for solving goals. | msozeau | 2006-12-22 |
| * | Reimplemented equality generation for pattern matching at typing time. First ... | msozeau | 2006-12-14 |
| * | Subtac: work on cases. | msozeau | 2006-12-12 |
| * | Subtac bug fix, add list take example. | msozeau | 2006-12-08 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |