| Age | Commit message (Expand) | Author |
|---|---|---|
| 2002-12-03 | Etape intermédiaire d'adaptation de la connexion à pcoq aux nouvelles | bertot |
| 2002-10-06 | correcting the treatment of many tactics that use quant_hyp in file xlate.ml | bertot |
| 2002-10-03 | Previous version did compile but did not make it possible to actually run | bertot |
| 2001-12-18 | Integrating the Ltac language and the Blast tool into the interface | bertot |
| 2001-11-05 | GROS COMMIT: | barras |
| 2001-04-18 | Adding files for the production of textual explanations as used in pcoq. | bertot |
| 2001-04-04 | Files that handle the dialogue with the graphical user-interface pcoq. | bertot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |