| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Problèmes et améliorations divers affichage |  herbelin | 2002-12-09 |
| * | Modules dans COQ\!\!\!\! |  coq | 2002-08-02 |
| * | Protection des tactiques contre l'utilisation sans le bon contexte de thories | herbelin | 2002-06-03 |
| * | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |
| * | Prise en compte des corps de letin dans les hypothèses | herbelin | 2002-03-01 |
| * | convert_hyp a change de type |  barras | 2002-03-01 |
| * | compat ocaml 3.03 |  filliatr | 2001-12-13 |
| * | Romega |  mohring | 2001-09-20 |
| * | reparation Zne | mohring | 2001-09-19 |
| * | Romega/names/Makefile | mohring | 2001-09-18 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |