aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2017-08-16Merge PR #964: More portable location for the time command.Maxime Dénès
2017-08-16Merge PR #880: Fix coqdoc bug #5648 on user idents colliding with keywords wr...Maxime Dénès
2017-08-12fix coq_makefileMatej Košík
2017-08-12More portable location for the time command.Théo Zimmermann
2017-08-01Merge PR #921: [make] remove compat5 file.Maxime Dénès
2017-08-01Merge PR #917: Moving --print-version to -print-version for consistency.Maxime Dénès
2017-07-27[toplevel] Remove long ago deprecated and NOOP options.Emilio Jesus Gallego Arias
2017-07-27[make] remove compat5 file.Emilio Jesus Gallego Arias
2017-07-25Adding -print-version in addition to -print-version for consistency.Hugo Herbelin
2017-07-20fake_ide: do as coqide to find out coqtop pathEnrico Tassi
2017-07-20coq-makefile: strip windows drive letter when DESTDIR is not emptyEnrico Tassi
2017-07-20coq-makefile: treat coq_makefile as any other coq binaryEnrico Tassi
2017-07-20coq-makefile: quote using ' to preserve \ (windows paths)Enrico Tassi
2017-07-20In fake_ide, call coqtop.exe instead of coqtop on Win32.Maxime Dénès
2017-07-20Avoid using unsupported signals under Windows in fake_ide.Maxime Dénès
2017-07-20Merge branch 'v8.7'Maxime Dénès
2017-07-17[API] Remove `open API` in ml files in favor of `-open API` flag.Emilio Jesus Gallego Arias
2017-07-15Fixing #5648 (too early decision of tagging ident as keyword in html coqdoc).Hugo Herbelin
2017-07-11Add timing scriptsJason Gross
2017-07-08Fix TIMED=1 on Mac OSXJason Gross
2017-07-07Merge PR #844: Better support for make TIMED=1 on WindowsMaxime Dénès
2017-07-05Merge PR #840: Quote $(OCAMLFIND) in CoqMakefile.in for WindowsMaxime Dénès
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-30Fix more potential quoting issues: COQBIN , COQLIBJason Gross
2017-06-30Also quote $(COQLIB)/grammarJason Gross
2017-06-30Create a variable for CAMLDOC in CoqMakefile.inJason Gross
2017-06-30Quote $(OCAMLFIND) in CoqMakefile.in for WindowsJason Gross
2017-06-30Better support for make TIMED=1 on WindowsJason Gross
2017-06-27Merge PR#731: Mini-cleaning around OCaml file namesMaxime Dénès
2017-06-27A cleaning phase about ocaml file names.Hugo Herbelin
2017-06-23Merge PR#794: Cleanup of ltac cmxsMaxime Dénès
2017-06-20Merge PR#742: Fix `make TIMED=1` garbageMaxime Dénès
2017-06-18[ide] Add route_id parameter to query call.Emilio Jesus Gallego Arias
2017-06-15Move TIMER to right in front of COQCJason Gross
2017-06-15Fix `make TIMED=1` garbageJason Gross
2017-06-15Strip trailing whitespaceJason Gross
2017-06-15coqdep: correct support of Local Declare ML ModulePierre Letouzey
2017-06-12Merge PR#709: Bytecode compilation apart from 'make world', againMaxime Dénès
2017-06-12Add support for "-bypass-API" argument of "coq_makefile"Matej Košík
2017-06-07Merge PR#698: Trunk miscMaxime Dénès
2017-06-02Drop '.' from CErrors.anomaly, insert it in argsJason Gross
2017-06-01Fix coq_makefile uninstall target under OSX.Maxime Dénès
2017-06-01Bump year in headers.Maxime Dénès
2017-05-31removing duplicate line from "tools/CoqMakefile.in"Matej Košík
2017-05-30coq_makefile : do not build bytecode versions of plugins by defaultPierre Letouzey
2017-05-30Makefile: no bytecode compilation in make world, see make byte insteadPierre Letouzey
2017-05-30make sure that "ocamllibdep" properly recognizes Ocaml modules that are all u...Matej Košík
2017-05-30Merge PR#356: Making management of installation directories more structured, ...Maxime Dénès
2017-05-30Merge PR#692: Fail on deprecated warning even for Ocaml > 4.02.3Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:44:45 +0000