index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
dune
Age
Commit message (
Expand
)
Author
2021-04-01
[build] [ocamldebug] Update for byterun -> coqrun renaming
Emilio Jesus Gallego Arias
2021-03-03
[build] Split stdlib to it's own opam package.
Emilio Jesus Gallego Arias
2021-01-27
[sysinit] new component for system initialization
Enrico Tassi
2020-06-11
[dune] [dbg] Fix coqide target after CoqIDE move.
Emilio Jesus Gallego Arias
2020-02-29
[dune] [ocamldebug] Improve ocamldebug rules
Emilio Jesus Gallego Arias
2020-01-17
[dune] [dbg] Add support for coqtop in dune-dbg
Emilio Jesus Gallego Arias
2019-06-17
[dune] Support for coqide as an ocamldebug target.
Emilio Jesus Gallego Arias
2019-05-22
Better dune ocamldebug integration
Gaëtan Gilbert
2018-11-21
Merge PR #8961: dune: link kernel in checker instead of copying files
Pierre-Marie Pédrot
2018-11-20
[dune] Only build printers when the ltac plugin is available.
Emilio Jesus Gallego Arias
2018-11-20
Fix dune-dbg using checker/main -> checker/coqchk
Gaëtan Gilbert
2018-11-08
Remove checker printers
Gaëtan Gilbert
2018-10-23
[dune] Compile debug and checker printers.
Emilio Jesus Gallego Arias
