aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-08-21
|\
| * Output a break before a list only if there was an empty line (bug #4606).Gravatar Guillaume Melquiond2016-08-16
* | Allow `STDTIME=foo make`Gravatar Jason Gross2016-07-19
* | Merge branch 'v8.5' into v8.6Gravatar Pierre-Marie Pédrot2016-07-07
|\|
* | Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Gravatar Maxime Dénès2016-07-05
| * Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Gravatar Guillaume Melquiond2016-07-05
* | Merge remote-tracking branch 'github/pr/229' into trunkGravatar Maxime Dénès2016-07-04
|\ \
* | | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
| * | coq_makefile : do not build bytecode versions of plugins by defaultGravatar Pierre Letouzey2016-06-29
| * | Makefile: no bytecode compilation in make world, see make byte insteadGravatar Pierre Letouzey2016-06-29
|/ /
* | Fix off-by-1 bug in coq_makefileGravatar Matthieu Sozeau2016-06-27
* | [feedback] Allow messages to carry a location.Gravatar Emilio Jesus Gallego Arias2016-06-25
* | Makefile: compat5* moved in grammar/, less -I given to camlp4oGravatar Pierre Letouzey2016-06-21
* | ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpackGravatar Pierre Letouzey2016-06-15
* | Merge remote-tracking branch 'origin/pr/166' into trunkGravatar Enrico Tassi2016-06-14
|\ \
* \ \ Merge branch "LtacProf for trunk" (PR #165).Gravatar Pierre-Marie Pédrot2016-06-14
|\ \ \
* \ \ \ Merge branch 'pack-plugins'Gravatar Pierre Letouzey2016-06-10
|\ \ \ \
* | | | | coq_makefile: oups, a missing ; in my previous commitGravatar Pierre Letouzey2016-06-10
| * | | | coq_makefile: fix a crucial typo in e9c57a3Gravatar Pierre Letouzey2016-06-10
* | | | | coq_makefile: short display of COQC and COQDEP (follow-up of e9c57a3)Gravatar Pierre Letouzey2016-06-10
* | | | | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-06-09
|\ \ \ \ \ | | |_|_|/ | |/| | |
* | | | | coq_makefile: fix a crucial typo in e9c57a3Gravatar Pierre Letouzey2016-06-08
| | * | | Compilation via pack for plugins of the stdlibGravatar Pierre Letouzey2016-06-08
| |/ / / |/| | |
| * | | Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).Gravatar Guillaume Melquiond2016-06-07
* | | | Coq_makefile: code cleanup (less long lines, etc)Gravatar Pierre Letouzey2016-06-07
* | | | coq_makefile: List.iteri is now standard since OCaml 4.00Gravatar Pierre Letouzey2016-06-07
* | | | coq_makefile : short display of commands executed by makeGravatar Pierre Letouzey2016-06-07
* | | | coq_makefile: add some -ml-synonym to the ocamldep rulesGravatar Pierre Letouzey2016-06-07
| | * | -profileltac -> -profile-ltac, as per @herbelinGravatar Jason Gross2016-06-05
| | * | LtacProf for Coq trunkGravatar Jason Gross2016-06-05
| |/ / |/| |
* | | Merge branch 'v8.5' into trunkGravatar Guillaume Melquiond2016-06-03
|\| |
| * | Fix proof terminators not being detected in presence of curly brackets (bug #...Gravatar Guillaume Melquiond2016-06-03
| * | Make "coqdoc -g --parse-comments" behave properly (bug #4773).Gravatar Guillaume Melquiond2016-06-03
* | | Encapsulate xml serialization in xmlprotocol.mliGravatar Emilio Jesus Gallego Arias2016-06-02
* | | Merge branch 'yet-another-makefile-bigbang' into trunkGravatar Pierre Letouzey2016-06-01
|\ \ \
| * | | Yet another Makefile reform : a unique phase without nasty make tricksGravatar Pierre Letouzey2016-06-01
| * | | Makefile: restore the use of coqdep_boot for creating .v.d filesGravatar Pierre Letouzey2016-06-01
* | | | Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
|/ / /
| | * coqc: support -o option to specify output file nameGravatar Enrico Tassi2016-05-19
| |/ |/|
* | Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-30
|\|
| * use printf instead of sequenced calls to print.Gravatar Gregory Malecha2016-03-24
| * add a .merlin target to the makefileGravatar Gregory Malecha2016-03-24
* | Creating a dedicated ltac/ folder for Hightactics.Gravatar Pierre-Marie Pédrot2016-03-21
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-29
|\|
| * Tentative fix for bug #4522: Incorrect "Warning..." on windows.Gravatar Pierre-Marie Pédrot2016-01-24
| * Fixing bug #4373: coqdep does not know about .vio files.Gravatar Pierre-Marie Pédrot2016-01-24
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
| * Minor edits in output of coqdep --help.Gravatar Maxime Dénès2016-01-15