aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2018-01-16Merge PR #6466: Replace md5sum/md5 calls by an OCaml programMaxime Dénès
2018-01-15Avoid shell backticks and improve md5sum.ml error messagesJacques-Pascal Deplaix
2018-01-11Added newline at the end of usage of coqdep.Bernhard Schommer
2018-01-08Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsMaxime Dénès
2017-12-27Add TIMING_SORT_BY and --sort-by to timing scriptsJason Gross
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-12-27Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...Maxime Dénès
2017-12-24Check the whole string given by md5sum.mlJacques-Pascal Deplaix
2017-12-23Replace md5sum/md5 calls by an OCaml programJacques-Pascal Deplaix
2017-12-23Registering a printing handler in coq_makefile.Hugo Herbelin
2017-12-23Forbidding -o and -f in input file of coq_makefile.Hugo Herbelin
2017-12-23Removing failure of coq_makefile on no arguments.Hugo Herbelin
2017-12-18Merge PR #6217: Do dependencies in 1 command per file class.Maxime Dénès
2017-12-15Do dependencies in 1 command per file class.Gaëtan Gilbert
2017-12-14Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Maxime Dénès
2017-12-14Merge PR #6388: Fix issue #6387Maxime Dénès
2017-12-13Merge PR #1108: [stm] Reorganize flagsMaxime Dénès
2017-12-13Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...Maxime Dénès
2017-12-11Fix issue #6387Martin Vassor
2017-12-11Restoring filtering of native files passed to `rm` during `make clean`.Maxime Dénès
2017-12-11[flags] [stm] Reorganize flags.Emilio Jesus Gallego Arias
2017-12-10[build] Remove coqmktop in favor of ocamlfind.Emilio Jesus Gallego Arias
2017-12-07Merge PR #6142: Single quotes break on WindowsMaxime Dénès
2017-11-29coq_makefile: pass filenames to coqchkRalf Jung
2017-11-27Merge PR #6236: Fix coq-makefile ocamldoc call when configured with -annotate.Maxime Dénès
2017-11-24Fix coq-makefile ocamldoc call when configured with -annotate.Gaëtan Gilbert
2017-11-22Update TimeFileMaker.py to correctly sort timing diffsJason Gross
2017-11-19Rename coq-inferior.el -> inferior-coq.el to match provided feature.Gaëtan Gilbert
2017-11-11Single quotes break on WindowsCarl Patenaude Poulin
2017-11-01Fix FIXME: use OCaml 4.02 generative functors when available.Gaëtan Gilbert
2017-10-12Merge PR #1144: Fix 5776 - `make` gives `ocamlfind: No such file or directory...Maxime Dénès
2017-10-11Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...Maxime Dénès
2017-10-11Merge PR #1143: fix coq_makefile on cygwinMaxime Dénès
2017-10-10Fix BZ#5780: coq_makefile broken under CygwinRalf Jung
2017-10-10[configure] Support for flambda flags.Emilio Jesus Gallego Arias
2017-10-06TimeFileMaker.py: Allow trailing spacesJason Gross
2017-10-05Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Maxime Dénès
2017-10-05Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Maxime Dénès
2017-10-03fix compilation on OCaml < 4.04Enrico Tassi
2017-10-03Merge PR #1099: BZ#5637, look for Obligation num or Next Obligation to start ...Maxime Dénès
2017-10-03Merge PR #1076: Properly handle "coq_makefile -Q . Foo" (bug #5580).Maxime Dénès
2017-09-26look for Obligation num or Next Obligation to start proofPaul Steckler
2017-09-22Merge PR #1055: Remove STM vernacularsMaxime Dénès
2017-09-22Merge PR #1070: Remove remaining occurrences of -just-parsing.Maxime Dénès
2017-09-21Properly handle "coq_makefile -Q . Foo" (bug #5580).Guillaume Melquiond
2017-09-21Remove remaining occurrences of -just-parsing.Guillaume Melquiond
2017-09-20coq_makefile: dont show errors from failed (ignored) rmdirRalf Jung
2017-09-19coq_makefile: make sure compile flags for Coq and coq_makefile are in syncEmilio Jesus Gallego Arias
2017-09-19Add XML protocol support for Wait.Maxime Dénès
2017-09-15Merge PR #990: Prevent warning about DSTROOT being undefined.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:52:05 +0000