aboutsummaryrefslogtreecommitdiff
path: root/lib/system.ml
AgeCommit message (Expand)Author
2016-05-02Merge branch 'v8.5'Pierre-Marie Pédrot
2016-04-25Print magic numbers in bad magic error messageTej Chajed
2016-03-18Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-15Fix #4591: Uncaught exception in directory browsing.Pierre-Marie Pédrot
2016-02-13Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-10Don't fail fatally if PATH is not set.Emilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-12-21Trust the directory cache in batch mode.Guillaume Melquiond
2015-12-14Remove some occurrences of Unix.opendir.Guillaume Melquiond
2015-12-11Merge branch 'v8.5'Pierre-Marie Pédrot
2015-12-10Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on removingHugo Herbelin
2015-12-09Remove remaining occurrences of Unix.readdir.Guillaume Melquiond
2015-12-09Replace Unix.readdir by Sys.readdir in dir cache.Emilio Jesus Gallego Arias
2015-11-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-11-25Fix for case-insensitive path looking continued (#2554): Adding aHugo Herbelin
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-22Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.Hugo Herbelin
2015-05-20Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that filesHugo Herbelin
2015-05-15On MacOS X, ensuring that files found in the file system have theHugo Herbelin
2015-05-05Merge branch 'v8.5'Pierre-Marie Pédrot
2015-04-23Remove almost all the uses of string concatenation when building error messages.Guillaume Melquiond
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-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-11-27better to always print the thread idEnrico Tassi
2014-10-24-help failing (fix 3762)Enrico Tassi
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-30Relaunch all Unix.waitpid when they ended with EINTRPierre Letouzey
2014-01-04.vi files: .vo files without proofsEnrico Tassi
2013-11-24Hardening the reading function of vo files.Pierre-Marie Pédrot
2013-11-07Partial application hunt.ppedrot
2013-08-28Removing some lone List.assoc & List.mem in lib.ppedrot
2013-08-22Change in vo format : digest aren't Marshalled anymoreletouzey
2013-03-21Removing mandatory suffixes for library files.ppedrot
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2013-02-01v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 05:39:59 +0000