aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/system.mli
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Protection against anomaly when loading a state with bad magic number.Gravatar herbelin2010-06-22
* Account for Stephane Glondu's remarks.Gravatar fkirchne2010-05-28
* Use existing functions to reimplement search_exe.Gravatar fkirchne2010-05-28
* Various minor improvements of comments in mli for ocamldocGravatar letouzey2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Look for csdp in $PATH at runtime, remove -csdpdir configure optionGravatar glondu2010-04-11
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Fichiers oubliés lors du 11188 :-(Gravatar herbelin2008-06-30
* Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms deGravatar herbelin2006-11-21
* Correction bug #990 (LoadPath et option -R de coqideGravatar notin2006-05-30
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* Déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-19
* Ajout d'un processus de communication entre Coq et un outil externeGravatar herbelin2005-02-04
* Nouvelle en-têteGravatar herbelin2004-07-16
* ParsingGravatar herbelin2001-08-10
* quelques bug reports mineursGravatar barras2001-05-07
* entetesGravatar filliatr2001-03-15
* 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