coq - The formal proof system

Age	Commit message (Expand)	Author
2018-12-13	[dune] [doc] Support for building the reference manual with Dune.	Emilio Jesus Gallego Arias
2018-11-12	Merge PR #8960: [dune] Build `cmxs` files instead of `cmxa` in "quick" target.	Enrico Tassi
2018-11-09	Merge PR #8949: Remove checker printers	Emilio Jesus Gallego Arias
2018-11-09	[dune] Build `cmxs` files instead of `cmxa` in "quick" target.	Emilio Jesus Gallego Arias
2018-11-09	Fix dune runtest invocation	Gaëtan Gilbert
2018-11-08	Remove checker printers	Gaëtan Gilbert
2018-11-06	[dune] Add "quick" and "check" targets for fast builds.	Emilio Jesus Gallego Arias
2018-10-11	[dune] [test-suite] Support for running the test suite with Dune.	Emilio Jesus Gallego Arias
2018-10-09	[dune] Provide an optimized build profile with inlining reports.	Emilio Jesus Gallego Arias
2018-10-02	[dune] Fix couple of minor bugs in #8617	Emilio Jesus Gallego Arias
2018-10-02	Merge PR #8623: [dune] Fix PHONY target in Dune's helper makefile.	Théo Zimmermann
2018-10-02	[dune] Provide workspace file will all OCaml builds tested in CI.	Emilio Jesus Gallego Arias
2018-10-02	[dune] Fix PHONY target in Dune's helper makefile.	Emilio Jesus Gallego Arias
2018-09-28	[dune] Pack checker to avoid [odoc] problems + build doc for plugins.	Emilio Jesus Gallego Arias
2018-09-27	[configure] [dune] Don't force the Dune user to set envars.	Emilio Jesus Gallego Arias
2018-09-21	Merge PR #8443: [opam] [dune] Fix typo + set prefix for configure.	Théo Zimmermann
2018-09-21	[dune] [configure] Allow to set prefix using environment variable.	Emilio Jesus Gallego Arias
2018-09-20	[dune] Add "watch" target for continuous build mode.	Emilio Jesus Gallego Arias
2018-09-10	[dune] Add apidoc target using `odoc`	Emilio Jesus Gallego Arias
2018-09-06	[dune] [ci] Fix and test release profile + use 1.1 dune-workspace	Emilio Jesus Gallego Arias
2018-09-05	[build] Preliminary support for building Coq with `dune`.	Emilio Jesus Gallego Arias