coq - The formal proof system

Age	Commit message (Collapse)	Author
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
	This fixes a problem reported by @Zimmi48 in #8948, IMHO we should be able to have a clean build of core Coq.
2018-11-20	Fix dune-dbg using checker/main -> checker/coqchk	Gaëtan Gilbert

2018-11-08	Remove checker printers	Gaëtan Gilbert
	Now that the checker is using the regular kernel files it can also use the normal printers.
2018-10-23	[dune] Compile debug and checker printers.	Emilio Jesus Gallego Arias
	As noted by Gäetan, we didn't compile these. We also provide a recipe to run `ocamldebug`. Try (after a build): ``` dune exec dev/dune-dbg (ocd) source dune_db ``` or ``` dune exec dev/dune-dbg checker (ocd) source checker_dune_db ``` for the checker.