Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | compat ocaml 3.03 | 2001-12-13 | ||
* | Parsing | 2001-08-10 | ||
* | Changements dans le traitement des qualid's | 2001-07-19 | ||
* | Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil... | 2001-06-25 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | compat ocaml 3.03 | 2001-12-13 | ||
* | Parsing | 2001-08-10 | ||
* | Changements dans le traitement des qualid's | 2001-07-19 | ||
* | Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil... | 2001-06-25 |