aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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
2017-09-13Supporting library names in utf8 in coqdep.Hugo Herbelin
2017-09-07Merge PR #997: coqdoc: Support comments in verbatim outputMaxime Dénès
2017-08-31Merge PR #958: coq_makefile: build/use .cma for packed plugins tooMaxime Dénès
2017-08-29coq_makefile: fix .merlin generation (FLG -thread)Enrico Tassi
2017-08-29coq_makefile: improve documentationEnrico Tassi
2017-08-29coq_makefile: print error message when coqlib is not set properlyEnrico Tassi
2017-08-29coq_makefile(pack): ml -> cmx --pack-> cmx -> cmxa -> cmxsEnrico Tassi
2017-08-29Merge PR #773: [flags] Remove XML output flag.Maxime Dénès
2017-08-29coq_makefile: do not overwrite CAMLFLAGSEnrico Tassi
2017-08-29coq_makefile: use dedicated variable for extra packagesEnrico Tassi
2017-08-29coq_makefile: build/use .cma for packed pluginsEnrico Tassi
2017-08-29coqdoc: Support comments in verbatim outputTej Chajed
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:34:36 +0000