index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
coq_dune.ml
Age
Commit message (
Expand
)
Author
2019-05-07
Integrate build and documentation of Ltac2
Maxime Dénès
2019-03-14
Add a non-cumulative impredicative universe SProp.
Gaëtan Gilbert
2019-03-12
[dune] Add shim for coqtop.byte
Emilio Jesus Gallego Arias
2019-02-22
[library] Remove `-boot` option.
Emilio Jesus Gallego Arias
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
2018-12-10
[dune] Teach coq_dune about `.glob` and `.aux` files.
Emilio Jesus Gallego Arias
2018-12-08
[dune] Install coq libraries in `%{lib_root}/coq` instead of `lib`
Emilio Jesus Gallego Arias
2018-12-04
Remove leftover code that used to handle ml4 files.
Pierre-Marie Pédrot
2018-11-05
[dune] Add to vo rules explicit location of coqlib in boot mode.
Emilio Jesus Gallego Arias
2018-10-11
[coq_dune] Abstract path operations wrt directory separator.
Emilio Jesus Gallego Arias
2018-10-10
[dune] Require that `plugin_base.dune` exists in plugin dirs.
Emilio Jesus Gallego Arias
2018-10-03
[dune] Add `(package coq)` scope to artifacts.
Emilio Jesus Gallego Arias
2018-09-26
[ocaml] Update required OCaml version to 4.05.0
Emilio Jesus Gallego Arias
2018-09-07
[dune] Fix build of coq_dune in 4.02.3
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
