aboutsummaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2020-03-28Remove SearchAbout command, deprecated in 8.5Jim Fehrle
2020-03-28coqdoc: Add (* begin details *) and (* end details *)Thomas Letan
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-19Merge PR #11302: Add --fuzz, --real, --user to timing scriptsEmilio Jesus Gallego Arias
2020-02-18Merge PR #11529: [build] Consolidate stdlib's .v files under a single directory.Théo Zimmermann
2020-02-13[coqdep] Remove support for `-c` ocamldep replacement.Emilio Jesus Gallego Arias
2020-02-13[coqdep] Merge `-sort` and `-suffix` options.Emilio Jesus Gallego Arias
2020-02-13[build] Consolidate stdlib's .v files under a single directory.Emilio Jesus Gallego Arias
2020-02-11[coqdep] mli cleanup, remove unused functionsEmilio Jesus Gallego Arias
2020-02-07[coqdep] Don't treat stdlib specially in boot mode.Emilio Jesus Gallego Arias
2020-02-07[coqdep] Remove deprecated -slash , unused, undocumented -mldep option.Emilio Jesus Gallego Arias
2020-02-07[coqdep] Remove dumpgraph and broken optionsEmilio Jesus Gallego Arias
2020-02-05Add --fuzz, --real, --user to timing scriptsJason Gross
2020-01-14[coqdoc] Fix #11353: coqdoc -g omits all sentences with decorationsKarl Palmskog
2020-01-13Merge PR #11280: Fix #11195 and add other improvements: try loading .vio (and...Pierre-Marie Pédrot
2020-01-03coq_makefile: don't use CAMLPKGS when building cmxa of mllibGaëtan Gilbert
2019-12-12Fix #11195 and add other improvements: try loading .vio (and not just .vo) if...charguer
2019-11-30coq_makefile: ml4 -> mlg in usage (since ml4 files are rejected).Hugo Herbelin
2019-11-27Remove deprecated commands `AddPath`, `AddRecPath` and `DelPath`Maxime Dénès
2019-11-21Merge PR #11145: Document -vos flag for coqdepEmilio Jesus Gallego Arias
2019-11-21Merge PR #10587: [coqdoc] Nest <a> into <h2> instead of the other way aroundEmilio Jesus Gallego Arias
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-21Document -vos flag for coqdepGaëtan Gilbert
2019-11-21Merge PR #11075: load .vo when .vos is missing + misc vos changesEmilio Jesus Gallego Arias
2019-11-20From CoqIDE or -vos or -vok compilation, load .vo when .vos is missing (fixin...charguer
2019-11-20Merge PR #11068: coq_makefile: support COQBIN with no ending /Enrico Tassi
2019-11-19coq_makefile: support COQBIN with no ending /Gaëtan Gilbert
2019-11-08coqdep: only output vos when passed -vosGaëtan Gilbert
2019-11-01Teach coq_dune about the empty .vos produced by coqcGaëtan Gilbert
2019-11-01fix installation of vos files in coq Makefilecharguer
2019-11-01fix coq_makefile and doc for vos support.charguer
2019-11-01Implementing support for vos/vok files.charguer
2019-10-28Rename `VDFILE` from `.coqdeps.d` to `.<CoqMakefile>.d` in the `coq_makefile`...Kazuhiko Sakaguchi
2019-10-14Merge PR #10883: Doc update with mlg extension - fix #10855Jason Gross
2019-10-13Doc update with mlg extension - fix #10855mcaci
2019-10-04Allow SProp default onGaëtan Gilbert
2019-08-22[dune] Move to Dune 1.10, use coq.pp directive.Emilio Jesus Gallego Arias
2019-07-27[coqdoc] Nest <a> into <h2> instead of the other way aroundLysxia
2019-07-27[coqdoc] Simplify regex for identifiers in commentsLysxia
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-07-06[python] Remove use of generic python shebang, update CIEmilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-06-07Dune: run coqc with -w +defaultGaëtan Gilbert
2019-05-23Fixing typos - Part 3JPR
2019-05-07Merge PR #10002: Integrate ltac2Théo Zimmermann
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
2019-04-28Merge PR #9605: [coq_makefile] Enforce warn_error for plugins.Gaëtan Gilbert
2019-04-25coq_makefile: do not pass -opt/-byte to coqc (fix #9974)Enrico Tassi
2019-04-24[coq_makefile] Enforce warn_error for plugins.Emilio Jesus Gallego Arias
2019-04-20Merge PR #9906: coq_makefile install target: error if any file is missingEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:25 +0000