| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-05-03 | Ajout du langage de tactiques | delahaye |
| 2000-05-02 | portage Omega (mais toujours pas Zpower et Zlogarithm) | filliatr |
| 2000-04-26 | suppression doublon | filliatr |
| 2000-03-30 | erreurs lexicales dans les patterns (manquait des espaces) | filliatr |
| 2000-03-21 | - bug make_module_marker (plus de # et de .obj maintenant) | filliatr |
| 2000-03-21 | Retour sur les anciens noms | herbelin |
| 2000-03-18 | Zarith | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |