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