| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |