coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-05-24	[ide] Move common protocol library to its own folder/object.	Emilio Jesus Gallego Arias
	The `ide` folder contains two different binaries, the language server `coqidetop` and `coqide` itself. Even if these binaries are in the same folder, the only thing they have in common is that they link to the protocol files. In the OCaml world, having "doubly" linked files in the same project is considered a bit of an ugly practice, and some build tools such as Dune disallow it.q Thus, to clean up the build, we move the common protocol files to its own library `ideprotocol`. This helps towards Dune integration and towards having an IDE standalone target, such as the one that was implemented here: https://github.com/ejgallego/coqide-exp
2017-05-28	Fail on deprecated warning even for Ocaml > 4.02.3	Gaëtan Gilbert
	Deprecations which can't be fixed in 4.02.3 are locally wrapped with [@@@ocaml.warning "-3"]. The only ones encountered are - capitalize to capitalize_ascii and variants. Changing to ascii would break coqdoc -latin1 and maybe other things though. - external "noalloc" to external [@@noalloc]
2016-06-02	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias
	This makes the core free from particular protocol choices. It should help with the ppx serialization project and shrinks clib.cma a bit.