| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Protection hd d'une liste vide |  herbelin | 2001-09-19 |
| * | Parsing | herbelin | 2001-08-10 |
| * | amelioration des messages d'erreurs vis a vis des evars |  barras | 2001-05-23 |
| * | utilisation de Options.if_verbose |  filliatr | 2001-04-03 |
| * | entetes | filliatr | 2001-03-15 |
| * | Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir | herbelin | 2001-02-07 |
| * | load_path_entry structure simplified; field relative_subdir renamed to coq_di... |  sacerdot | 2000-11-29 |
| * | Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch... | herbelin | 2000-11-29 |
| * | certains effets disparaissent a la sortie des sections, d'autres non (selon S... | filliatr | 2000-11-24 |
| * | - coqc: utilise le meilleur coq possible | filliatr | 2000-11-24 |
| * | methode export | filliatr | 2000-11-15 |
| * | nouveau load path | filliatr | 2000-11-08 |
| * | g_natsyntax et g_zsyntax maintenant toujours linkes | filliatr | 2000-10-27 |
| * | modules | filliatr | 1999-12-12 |
| * | premier debugage | filliatr | 1999-12-05 |
| * | compilation native | filliatr | 1999-12-03 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |