coq - The formal proof system

Age	Commit message (Expand)	Author
2012-11-19	Serialize: dead code	letouzey
2012-11-19	Serialize: fix dyn-typing of GetOptions (oups), also adapt of_answer	letouzey
2012-11-19	Serialize.to_answer: dynamically check that answer & call correspond	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-17	More type-safe interface to Coq XML API.	ppedrot
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-09-09	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot
2012-08-08	Updating headers.	herbelin
2012-07-12	A new status Unsafe in Interface. Meant for commands such as Admitted.	aspiwack
2012-07-10	Adapting the IDE interface with the focussed display.	ppedrot
2012-06-29	Now CoqIDE separates answer and messages. This should hopefully	ppedrot
2012-05-13	Added semantic completion in CoqIDE. (Should also add an option for that...)	ppedrot
2012-05-13	Added a SearchAbout-like primitive in coqtop interface.	ppedrot
2012-05-13	Added an interface primitive to ask coqtop for its internal versions.	ppedrot
2012-05-11	Slightly modified the coqtop interface by adding an identifier in	ppedrot
2012-05-02	Added an interface call to exit Coqtop nicely.	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill