aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/system.mli
Commit message (Expand)AuthorAge
* Fix #4837: ./configure -local makes coqdep issue many warningsGravatar Maxime Dénès2016-11-04
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-02
|\
| * Print magic numbers in bad magic error messageGravatar Tej Chajed2016-04-25
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-11-26
|\|
| * Generalizing the patch to bug #2554 on fixing path looking withGravatar Hugo Herbelin2015-11-25
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-02
|\|
| * 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
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-09-25
|\|
| * Revert "On MacOS X, ensuring that files found in the file system have the"Gravatar Maxime Dénès2015-09-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-06-01
|\|
| * Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesGravatar Hugo Herbelin2015-05-20
* | Using same code for browsing physical directories in coqtop and coqdep.Gravatar Hugo Herbelin2015-02-16
| * 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