aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2019-04-20Merge PR #9906: coq_makefile install target: error if any file is missingEnrico Tassi
2019-04-10[coqdep] Exit with error code on exception.Emilio Jesus Gallego Arias
2019-04-08coq_makefile install target: error if any file is missingGaëtan Gilbert
2019-03-31[pretty-timing scripts] Don't barf on non-utf-8Jason Gross
2019-03-31[pretty-print py]Don't print sys.stdout;better utfJason Gross
2019-03-15Merge PR #9694: remove unused import of osEmilio Jesus Gallego Arias
2019-03-14Add a non-cumulative impredicative universe SProp.Gaëtan Gilbert
2019-03-12[dune] Add shim for coqtop.byteEmilio Jesus Gallego Arias
2019-03-04remove unused import of osFrédéric Chapoton
2019-02-22Merge PR #9576: [library] Remove `-boot` option.Enrico Tassi
2019-02-22Merge PR #9539: [coqdoc] Add the From keywordGaëtan Gilbert
2019-02-22[library] Remove `-boot` option.Emilio Jesus Gallego Arias
2019-02-20[paths] Try to be more portable on Win32Emilio Jesus Gallego Arias
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-14[coqlib] Remove `-boot` option for setting the coqlibEmilio Jesus Gallego Arias
2019-02-11[coqdoc] Add the From keywordPierre Roux
2019-02-08Make boot flag into a normal option (no global flag).Gaëtan Gilbert
2019-02-04[dune] Fix Dune build in Windows.Emilio Jesus Gallego Arias
2019-02-01[toplevel] Split interactive toplevel and compiler binaries.Emilio Jesus Gallego Arias
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2019-01-08Fix undefined variables in coq_makefileGaëtan Gilbert
2018-12-12Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comme...Maxime Dénès
2018-12-10[dune] Teach coq_dune about `.glob` and `.aux` files.Emilio Jesus Gallego Arias
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-12-08[dune] Install coq libraries in `%{lib_root}/coq` instead of `lib`Emilio Jesus Gallego Arias
2018-12-04Remove leftover code that used to handle ml4 files.Pierre-Marie Pédrot
2018-11-21[camlp5] Remove dependency on camlp5.Emilio Jesus Gallego Arias
2018-11-21[gramlib] [build] Switch make-based system to packed gramlibEmilio Jesus Gallego Arias
2018-11-17[CoqProject] Abstract warning function for CoqProject readers.Emilio Jesus Gallego Arias
2018-11-15coqide: use correct toplevel name in filesGaëtan Gilbert
2018-11-13coq_makefile: Fix ocamldep ignoring mlg filesGaëtan Gilbert
2018-11-05[dune] Add to vo rules explicit location of coqlib in boot mode.Emilio Jesus Gallego Arias
2018-11-05Pass native and VM flags to the kernel through environmentMaxime Dénès
2018-10-19Adapt coq_makefile to handle coqpp-based macro files.Pierre-Marie Pédrot
2018-10-17[doc] [build] Remove ocamlbuild leftovers.Emilio Jesus Gallego Arias
2018-10-16[clib] Deprecate string functions available in OCaml 4.05Emilio Jesus Gallego Arias
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-10-11[coq_dune] Abstract path operations wrt directory separator.Emilio Jesus Gallego Arias
2018-10-11Merge PR #8698: [dune] Require that `plugin_base.dune` exists in plugin dirs.Théo Zimmermann
2018-10-10[dune] Require that `plugin_base.dune` exists in plugin dirs.Emilio Jesus Gallego Arias
2018-10-10[dune] Tweaks on `tools/dune`Emilio Jesus Gallego Arias
2018-10-08[ide] [dune] [test-suite] Reorganize `fake_ide` build.Emilio Jesus Gallego Arias
2018-10-04Merge PR #8646: [dune] Add `(package coq)` scope to artifacts.Théo Zimmermann
2018-10-04Merge PR #8626: [ocaml] [lib] Remove some compatibility layers for OCaml < 4....Pierre-Marie Pédrot
2018-10-03[dune] Add `(package coq)` scope to artifacts.Emilio Jesus Gallego Arias
2018-10-02Merge PR #8618: [dune] [tools] Cleanup and extra install.Théo Zimmermann
2018-10-02[ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0Emilio Jesus Gallego Arias
2018-10-02Merge PR #8572: [config] Miscellaneous cleaning of configuration variables.Pierre-Marie Pédrot
2018-10-02Merge PR #7522: [ocaml] Update required OCaml version to 4.05.0Pierre-Marie Pédrot
2018-10-02[dune] Install more files from `tools`.Emilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:45:23 +0000