coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update copyright headers.	Maxime Dénès	2016-01-20
*	Update headers.	Maxime Dénès	2015-01-12
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Fixing ml-doc.	Pierre-Marie Pédrot	2014-05-01
*	Have the feedback bus as a backend for dumping globs.	Carst Tankink	2014-04-10
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	Remove some dead-code (thanks to ocaml warnings)	Pierre Letouzey	2014-03-05
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	STM: tell the user if the master is recomputing states validated by workers	Enrico Tassi	2014-01-30
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	Old message Interp returns the state id so that one can BackTo it	Enrico Tassi	2013-11-27
*	New option --help-XML-protocol to document the XML procol used by -ideslave	Enrico Tassi	2013-11-27
*	First stab at retrocompatible INTERP message	Enrico Tassi	2013-11-27
*	Adds a tactic give_up.	aspiwack	2013-11-02
*	Adds a shelve tactic.	aspiwack	2013-11-02
*	New feedback message: SlaveStatus	gareuselesinge	2013-10-22
*	CoqIDE protocol/serialization revised	gareuselesinge	2013-09-30
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	Removing some lone List.assoc & List.mem in lib.	ppedrot	2013-08-28
*	Modulification and removing of structural equality in Stateid.	ppedrot	2013-08-19
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Xml_datatype.mli ships the xml type	gareuselesinge	2013-05-09
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Fix indentation	gareuselesinge	2013-04-25
*	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge	2013-04-19
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	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-11-19
*	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey	2012-10-02
*	More type-safe interface to Coq XML API.	ppedrot	2012-09-17
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	Updating headers.	herbelin	2012-08-08
*	A new status Unsafe in Interface. Meant for commands such as Admitted.	aspiwack	2012-07-12
*	Adapting the IDE interface with the focussed display.	ppedrot	2012-07-10
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	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-13
*	Slightly modified the coqtop interface by adding an identifier in	ppedrot	2012-05-11
*	Added an interface call to exit Coqtop nicely.	ppedrot	2012-05-02
*	lib directory is cut in 2 cma.	pboutill	2012-04-12