aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* [error] Replace msg_error by a proper exception.Gravatar Emilio Jesus Gallego Arias2018-02-09
* Merge PR #6466: Replace md5sum/md5 calls by an OCaml programGravatar Maxime Dénès2018-01-16
|\
| * Avoid shell backticks and improve md5sum.ml error messagesGravatar Jacques-Pascal Deplaix2018-01-15
* | Added newline at the end of usage of coqdep.Gravatar Bernhard Schommer2018-01-11
* | Merge PR #6516: Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Maxime Dénès2018-01-08
|\ \
| * | Add TIMING_SORT_BY and --sort-by to timing scriptsGravatar Jason Gross2017-12-27
* | | [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
|/ /
* | Merge PR #6040: Making coq_makefile usage consistent with what it claims + po...Gravatar Maxime Dénès2017-12-27
|\ \
| | * Check the whole string given by md5sum.mlGravatar Jacques-Pascal Deplaix2017-12-24
| | * Replace md5sum/md5 calls by an OCaml programGravatar Jacques-Pascal Deplaix2017-12-23
| |/ |/|
| * Registering a printing handler in coq_makefile.Gravatar Hugo Herbelin2017-12-23
| * Forbidding -o and -f in input file of coq_makefile.Gravatar Hugo Herbelin2017-12-23
| * Removing failure of coq_makefile on no arguments.Gravatar Hugo Herbelin2017-12-23
* | Merge PR #6217: Do dependencies in 1 command per file class.Gravatar Maxime Dénès2017-12-18
|\ \
| * | Do dependencies in 1 command per file class.Gravatar Gaëtan Gilbert2017-12-15
* | | Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.Gravatar Maxime Dénès2017-12-14
|\ \ \
* \ \ \ Merge PR #6388: Fix issue #6387Gravatar Maxime Dénès2017-12-14
|\ \ \ \
* \ \ \ \ Merge PR #1108: [stm] Reorganize flagsGravatar Maxime Dénès2017-12-13
|\ \ \ \ \
* \ \ \ \ \ Merge PR #6175: Restoring filtering of native files passed to `rm` during `ma...Gravatar Maxime Dénès2017-12-13
|\ \ \ \ \ \
| | | * | | | Fix issue #6387Gravatar Martin Vassor2017-12-11
| |_|/ / / / |/| | | | |
| * | | | | Restoring filtering of native files passed to `rm` during `make clean`.Gravatar Maxime Dénès2017-12-11
| | |_|_|/ | |/| | |
| | * | | [flags] [stm] Reorganize flags.Gravatar Emilio Jesus Gallego Arias2017-12-11
| |/ / / |/| | |
| | * | [build] Remove coqmktop in favor of ocamlfind.Gravatar Emilio Jesus Gallego Arias2017-12-10
| |/ / |/| |
* | | Merge PR #6142: Single quotes break on WindowsGravatar Maxime Dénès2017-12-07
|\ \ \
* | | | coq_makefile: pass filenames to coqchkGravatar Ralf Jung2017-11-29
| |_|/ |/| |
* | | Merge PR #6236: Fix coq-makefile ocamldoc call when configured with -annotate.Gravatar Maxime Dénès2017-11-27
|\ \ \
| * | | Fix coq-makefile ocamldoc call when configured with -annotate.Gravatar Gaëtan Gilbert2017-11-24
* | | | Update TimeFileMaker.py to correctly sort timing diffsGravatar Jason Gross2017-11-22
|/ / /
* | / Rename coq-inferior.el -> inferior-coq.el to match provided feature.Gravatar Gaëtan Gilbert2017-11-19
| |/ |/|
| * Single quotes break on WindowsGravatar Carl Patenaude Poulin2017-11-11
|/
* Fix FIXME: use OCaml 4.02 generative functors when available.Gravatar Gaëtan Gilbert2017-11-01
* Merge PR #1144: Fix 5776 - `make` gives `ocamlfind: No such file or directory...Gravatar Maxime Dénès2017-10-12
|\
| * Fix 5776 - `make` gives `ocamlfind: No such file or directory` on every execu...Gravatar Maxime Dénès2017-10-11
* | Merge PR #1143: fix coq_makefile on cygwinGravatar Maxime Dénès2017-10-11
|\ \
| * | Fix BZ#5780: coq_makefile broken under CygwinGravatar Ralf Jung2017-10-10
| |/
* / [configure] Support for flambda flags.Gravatar Emilio Jesus Gallego Arias2017-10-10
|/
* TimeFileMaker.py: Allow trailing spacesGravatar Jason Gross2017-10-06
* Merge PR #1041: Miscellaneous fixes about UTF-8 (including a fix to BZ#5715 t...Gravatar Maxime Dénès2017-10-05
|\
* \ Merge PR #1059: coq_makefile: make sure compile flags for Coq and coq_makefil...Gravatar Maxime Dénès2017-10-05
|\ \
| * | fix compilation on OCaml < 4.04Gravatar Enrico Tassi2017-10-03
* | | Merge PR #1099: BZ#5637, look for Obligation num or Next Obligation to start ...Gravatar Maxime Dénès2017-10-03
|\ \ \
* \ \ \ Merge PR #1076: Properly handle "coq_makefile -Q . Foo" (bug #5580).Gravatar Maxime Dénès2017-10-03
|\ \ \ \
| | * | | look for Obligation num or Next Obligation to start proofGravatar Paul Steckler2017-09-26
| |/ / / |/| | |
* | | | Merge PR #1055: Remove STM vernacularsGravatar Maxime Dénès2017-09-22
|\ \ \ \
* \ \ \ \ Merge PR #1070: Remove remaining occurrences of -just-parsing.Gravatar Maxime Dénès2017-09-22
|\ \ \ \ \
| | | * | | Properly handle "coq_makefile -Q . Foo" (bug #5580).Gravatar Guillaume Melquiond2017-09-21
| * | | | | Remove remaining occurrences of -just-parsing.Gravatar Guillaume Melquiond2017-09-21
| | |/ / / | |/| | |
* / | | | coq_makefile: dont show errors from failed (ignored) rmdirGravatar Ralf Jung2017-09-20
|/ / / /
| | * | coq_makefile: make sure compile flags for Coq and coq_makefile are in syncGravatar Emilio Jesus Gallego Arias2017-09-19
| * | | Add XML protocol support for Wait.Gravatar Maxime Dénès2017-09-19
|/ / /