aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/system.mli
Commit message (Expand)AuthorAge
* export open_trapping_failure pour contrib/extractionGravatar filliatr2001-02-26
* syntaxe AST Inversion + commentaires ocamlweb autour de $Gravatar filliatr2000-12-12
* load_path_entry structure simplified; field relative_subdir renamed to coq_dirpaGravatar sacerdot2000-11-29
* Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...Gravatar herbelin2000-11-29
* nouveau load pathGravatar filliatr2000-11-08
* Uniformisation AddPath, Print LoadPath, ... en Add Path, Print PathGravatar herbelin2000-09-10
* modules et coqcGravatar filliatr1999-12-12
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03
* poursuite de VernacentriesGravatar filliatr1999-12-01
* Vernacinterp et Vernacentries (partiellement)Gravatar filliatr1999-11-24
* ajout de divers fonctions dans lib/Gravatar filliatr1999-09-28
* module LibraryGravatar filliatr1999-09-18
* modules System, Lib et StatesGravatar filliatr1999-09-10
* time stamps dans SystemGravatar filliatr1999-09-08