aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
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-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
2017-05-29Using the same strategy in coqdoc than in coqtop to guess the coqlib.Hugo Herbelin
2017-05-29Exporting the suffixes needed to build coqlib, docdir, etc.Hugo Herbelin
2017-05-29Using Coq_config.local rather than None to tell that Coq_config.coqlib is local.Hugo Herbelin
2017-05-29Merge PR#512: [cleanup] Unify all calls to the error function.Maxime Dénès
2017-05-28Fail on deprecated warning even for Ocaml > 4.02.3Gaëtan Gilbert
2017-05-28Merge PR#683: coq_makefile: build .cma for each .mlpackMaxime Dénès
2017-05-28Merge PR#658: [coqdoc] Add keywords in bug 2884.Maxime Dénès
2017-05-27[cleanup] Unify all calls to the error function.Emilio Jesus Gallego Arias
2017-05-27coq_makefile: build .cma for each .mlpackEnrico Tassi
2017-05-25Merge PR#645: [stm] Tweak debug options.Maxime Dénès
2017-05-25Merge PR#406: coq makefile2Maxime Dénès
2017-05-24coq_makefile: use -include rather than includeEnrico Tassi
2017-05-23add the only targetEnrico Tassi
2017-05-23coq_makefile: avoid spurious ./ in generated .conf fileEnrico Tassi
2017-05-23Restore 8.5, 8.6 compatibility of STDTIME, TIMECMDJason Gross
2017-05-23coq_makefile: don't quote extra arguments (-arg)Enrico Tassi
2017-05-23Make install a single colon target for retro compatibilityEnrico Tassi
2017-05-23enters coq_makefile2Enrico Tassi
2017-05-23coqdep: remove optimization making makefiles harder to writeEnrico Tassi
2017-05-23coqdep: set FOR_PACK variable for files that need to be packedEnrico Tassi
2017-05-23Document --print-version in UsageEnrico Tassi
2017-05-23Put the list of Coq sources subdirectories in one placeEnrico Tassi
2017-05-23Usage.print_config moved to EnvarsEnrico Tassi
2017-05-23CoqProject_file: API and code cleanup (tuples -> records)Enrico Tassi
2017-05-23ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mliEnrico Tassi
2017-05-23[vernac] Remove `Save.` command.Emilio Jesus Gallego Arias
2017-05-20[coqdoc] Add keywords in bug 2884.Emilio Jesus Gallego Arias
2017-05-18[stm] Tweak debug options.Emilio Jesus Gallego Arias
2017-05-15Dead code in coqdep.Hugo Herbelin
2017-04-27Fix 4.04 warningsGaetan Gilbert
2017-04-27Warning 29: non escaped end of line may be non portableGaetan Gilbert
2017-04-27Remove some unused values and typesGaetan Gilbert
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2017-04-07[camlpX] Enrico's changes to camlp4 removal.Emilio Jesus Gallego Arias
2017-03-22Merge branch 'v8.6'Pierre-Marie Pédrot
2017-03-21[xml] Restore protocol compatibility with 8.6.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove uses of expensive string_of_ppcmds.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove special tag type and handler from Pp.Emilio Jesus Gallego Arias
2017-03-21[pp] Remove richpp from fake_ide.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:10:48 +0000