aboutsummaryrefslogtreecommitdiff
path: root/lib/system.mli
AgeCommit message (Expand)Author
2016-11-04Fix #4837: ./configure -local makes coqdep issue many warningsMaxime Dénès
2016-05-02Merge branch 'v8.5'Pierre-Marie Pédrot
2016-04-25Print magic numbers in bad magic error messageTej Chajed
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-11-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-11-25Generalizing the patch to bug #2554 on fixing path looking withHugo Herbelin
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-29Make the interface of System.raw_extern_intern much saner.Guillaume Melquiond
2015-09-29Prevent States.intern_state and System.extern_intern from looking up files in...Guillaume Melquiond
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-20Revert "On MacOS X, ensuring that files found in the file system have the"Maxime Dénès
2015-06-01Merge branch 'v8.5'Pierre-Marie Pédrot
2015-05-20Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesHugo Herbelin
2015-02-16Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-02-12Revert "Using same code for browsing physical directories in coqtop and coqdep."Hugo Herbelin
2015-02-12Using same code for browsing physical directories in coqtop and coqdep.Hugo Herbelin
2015-01-12Update headers.Maxime Dénès
2014-09-09toploop plugins taken into account when printing --help (close: 3535)Enrico Tassi
2014-09-08Removing dead code relative to the XML plugin.Pierre-Marie Pédrot
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-07-13Adding a "time" tactical for benchmarking purposes. In case the tacticHugo Herbelin
2014-07-07Revert "time tac" (committed by mistake).Hugo Herbelin
2014-07-07time tacHugo Herbelin
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-08-22Change in vo format : digest aren't Marshalled anymoreletouzey
2013-03-21Removing mandatory suffixes for library files.ppedrot
2013-02-01v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)herbelin
2012-08-08Updating headers.herbelin
2012-04-12lib directory is cut in 2 cma.pboutill
2011-05-19Remove System.process_time (dead code)glondu
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-06-22New script dev/tools/change-header to automatically update Coq files headers.herbelin
2010-06-22Protection against anomaly when loading a state with bad magic number.herbelin
2010-05-28Account for Stephane Glondu's remarks.fkirchne
2010-05-28Use existing functions to reimplement search_exe.fkirchne
2010-04-29Various minor improvements of comments in mli for ocamldocletouzey
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-04-29Move from ocamlweb to ocamdoc to generate mli documentationpboutill
2010-04-11Look for csdp in $PATH at runtime, remove -csdpdir configure optionglondu
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-01-18Backporting from v8.2 to trunk:herbelin
2008-12-24- coq_makefile: target install now respects the original tree structureherbelin
2008-06-30Fichiers oubliés lors du 11188 :-(herbelin
2006-11-21Nettoyage de l'utilisation de l'expansion des macros ~ et $ dans les noms deherbelin
2006-05-30Correction bug #990 (LoadPath et option -R de coqidenotin
2005-11-23bug de coqide sous windows (bad file descriptor)barras
2005-05-19Déplacement de fonctionnalités unix et browser de ide vers libherbelin
2005-02-04Ajout d'un processus de communication entre Coq et un outil externeherbelin
2004-07-16Nouvelle en-têteherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:34:17 +0000