coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-04-04	[dune] Fix include object dirs.	Emilio Jesus Gallego Arias
	In Dune >= 1.8 object dirs have changed; this should be stable for a while, however we want a more robust setup for sure, which I think it should be able to be implemented when we have a single build system.
2019-02-18	[dev] Add include versions for Dune builds.	Emilio Jesus Gallego Arias
	Fixes #9537 This way, users can do: ``` dune exec coqtop.byte > Drop. # #directory "dev";; # #use "include_dune";; ```