index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
topbin
Age
Commit message (
Expand
)
Author
2020-10-09
[stm] move par: implementation to vernac/comTactic and stm/partac
Enrico Tassi
2020-03-18
Update headers in the whole code base.
Théo Zimmermann
2020-02-24
[exn] Forbid raising in exn printers, make them return Pp.t option
Emilio Jesus Gallego Arias
2020-01-29
[rfc] [mltop] Removal of dynamic loading of object and `.ml` files
Emilio Jesus Gallego Arias
2020-01-16
[mltop] Remove error handling hacks in favor of default methods.
Emilio Jesus Gallego Arias
2019-12-04
[dune] Update to dune language version 2.0
Emilio Jesus Gallego Arias
2019-07-08
An even more uniform treatment of the -help option across executables.
Hugo Herbelin
2019-06-21
[dune] Enable optimization options in the compilation of the VM.
Emilio Jesus Gallego Arias
2019-06-17
Update ml-style headers to new year.
Théo Zimmermann
2019-04-24
[dune] Build coqc.byte executable.
Emilio Jesus Gallego Arias
2019-03-01
[dune] Add quickide target for building of IDE.
Emilio Jesus Gallego Arias
2019-02-01
[toplevel] Split interactive toplevel and compiler binaries.
Emilio Jesus Gallego Arias
2018-10-03
[dune] Add `(package coq)` scope to artifacts.
Emilio Jesus Gallego Arias
2018-09-27
[coqc] Use standard binary location routine from lib
Emilio Jesus Gallego Arias
2018-09-05
[build] Preliminary support for building Coq with `dune`.
Emilio Jesus Gallego Arias
2018-05-21
[stm] Make toplevels standalone executables.
Emilio Jesus Gallego Arias
