aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/system.mli
Commit message (Expand)AuthorAge
* Generalizing the patch to bug #2554 on fixing path looking withGravatar Hugo Herbelin2015-11-25
* Make the interface of System.raw_extern_intern much saner.Gravatar Guillaume Melquiond2015-09-29
* Prevent States.intern_state and System.extern_intern from looking up files in...Gravatar Guillaume Melquiond2015-09-29
* Revert "On MacOS X, ensuring that files found in the file system have the"Gravatar Maxime Dénès2015-09-20
* Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesGravatar Hugo Herbelin2015-05-20
* Revert "Using same code for browsing physical directories in coqtop and coqdep."Gravatar Hugo Herbelin2015-02-12
* Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-12
* Update headers.Gravatar Maxime Dénès2015-01-12
* toploop plugins taken into account when printing --help (close: 3535)Gravatar Enrico Tassi2014-09-09
* Removing dead code relative to the XML plugin.Gravatar Pierre-Marie Pédrot2014-09-08
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* Adding a "time" tactical for benchmarking purposes. In case the tacticGravatar Hugo Herbelin2014-07-13
* Revert "time tac" (committed by mistake).Gravatar Hugo Herbelin2014-07-07
* time tacGravatar Hugo Herbelin2014-07-07
* .vi files: .vo files without proofsGravatar Enrico Tassi2014-01-04
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* Removing mandatory suffixes for library files.Gravatar ppedrot2013-03-21
* v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)Gravatar herbelin2013-02-01
* Updating headers.Gravatar herbelin2012-08-08
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Remove System.process_time (dead code)Gravatar glondu2011-05-19
* 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