aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2017-03-14Fix #5132: coq_makefile generates incorrect install goalVadim Zaliva
2017-02-06fix Emacs compiler warning on '(lambda...)Hendrik Tews
2017-01-13Properly remove aux files in subdirectories (bug #5089).Erik Martin-Dorel
2016-11-21Remove spurious spaces in merlin file generated by coq_makefile (bug #5213).Guillaume Melquiond
2016-11-21Stop parsing -compat-notations options, which are no longer supported (bug #3...Guillaume Melquiond
2016-11-18Revert "fake_ide: use the now available Status XML message"Maxime Dénès
2016-11-17fake_ide: use the now available Status XML messageEnrico Tassi
2016-11-04Fix #4837: ./configure -local makes coqdep issue many warningsMaxime Dénès
2016-09-30coqc: recognize -profile-ltac-cutoffEnrico Tassi
2016-08-21Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-08-16Output a break before a list only if there was an empty line (bug #4606).Guillaume Melquiond
2016-07-19Allow `STDTIME=foo make`Jason Gross
2016-07-07Merge branch 'v8.5' into v8.6Pierre-Marie Pédrot
2016-07-05Revert "Merge remote-tracking branch 'github/pr/229' into trunk"Maxime Dénès
2016-07-05Pass .v files to coqc in Makefile produced by coq_makefile (bug #4896).Guillaume Melquiond
2016-07-04Merge remote-tracking branch 'github/pr/229' into trunkMaxime Dénès
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-29coq_makefile : do not build bytecode versions of plugins by defaultPierre Letouzey
2016-06-29Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2016-06-27Fix off-by-1 bug in coq_makefileMatthieu Sozeau
2016-06-25[feedback] Allow messages to carry a location.Emilio Jesus Gallego Arias
2016-06-21Makefile: compat5* moved in grammar/, less -I given to camlp4oPierre Letouzey
2016-06-15ocamllibdep + coqdep : simpler deps concerning .mllib and .mlpackPierre Letouzey
2016-06-14Merge remote-tracking branch 'origin/pr/166' into trunkEnrico Tassi
2016-06-14Merge branch "LtacProf for trunk" (PR #165).Pierre-Marie Pédrot
2016-06-10Merge branch 'pack-plugins'Pierre Letouzey
2016-06-10coq_makefile: oups, a missing ; in my previous commitPierre Letouzey
2016-06-10coq_makefile: fix a crucial typo in e9c57a3Pierre Letouzey
2016-06-10coq_makefile: short display of COQC and COQDEP (follow-up of e9c57a3)Pierre Letouzey
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-08coq_makefile: fix a crucial typo in e9c57a3Pierre Letouzey
2016-06-08Compilation via pack for plugins of the stdlibPierre Letouzey
2016-06-07Do not use COQLIBS for the validate rule produced by coq_makefile (bug #4693).Guillaume Melquiond
2016-06-07Coq_makefile: code cleanup (less long lines, etc)Pierre Letouzey
2016-06-07coq_makefile: List.iteri is now standard since OCaml 4.00Pierre Letouzey
2016-06-07coq_makefile : short display of commands executed by makePierre Letouzey
2016-06-07coq_makefile: add some -ml-synonym to the ocamldep rulesPierre Letouzey
2016-06-05-profileltac -> -profile-ltac, as per @herbelinJason Gross
2016-06-05LtacProf for Coq trunkJason Gross
2016-06-03Merge branch 'v8.5' into trunkGuillaume Melquiond
2016-06-03Fix proof terminators not being detected in presence of curly brackets (bug #...Guillaume Melquiond
2016-06-03Make "coqdoc -g --parse-comments" behave properly (bug #4773).Guillaume Melquiond
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-06-01Merge branch 'yet-another-makefile-bigbang' into trunkPierre Letouzey
2016-06-01Yet another Makefile reform : a unique phase without nasty make tricksPierre Letouzey
2016-06-01Makefile: restore the use of coqdep_boot for creating .v.d filesPierre Letouzey
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-05-19coqc: support -o option to specify output file nameEnrico Tassi
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-03-30Merge branch 'v8.5'Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:10:17 +0000