| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Retablissement de GIntuition juste pour FSets |  herbelin | 2003-12-23 |
| * | *** empty log message *** |  barras | 2003-12-23 |
| * | ground->firstorder, cc-> congruence, CC final commit |  corbinea | 2003-11-29 |
| * | Passage à la V8 par défaut | herbelin | 2003-09-22 |
| * | Ground bugfix | corbinea | 2003-07-11 |
| * | switching back to old tauto | corbinea | 2003-07-03 |
| * | added hints into Ground | corbinea | 2003-07-02 |
| * | Ground update | corbinea | 2003-06-16 |
| * | ground update | corbinea | 2003-06-16 |
| * | Ground major update ... mmm, sounds exciting ! | corbinea | 2003-06-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |