coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: when coqtop misbehaves kill it properly (no zombie)	Enrico Tassi	2014-02-17
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	CoqIDE: command line for extra coqtop "flags"	Enrico Tassi	2014-01-26
*	CoqIDE: ported to spawn	Enrico Tassi	2014-01-26
*	Paral-ITP: cleanup of command line flags and more conservative default	Enrico Tassi	2014-01-05
*	Fix CoqIDE compilation under standard version of lablgtk2	Enrico Tassi	2013-12-11
*	Fix CoqIDE on windows	Enrico Tassi	2013-12-10
*	CoqIDE: do not fail hard if a message is asynchronous	gareuselesinge	2013-10-01
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	More robust argument setter in CoqIDE. It does not crash anymore on bad	ppedrot	2013-09-04
*	stm: (initial) support for -coq-slaves	gareuselesinge	2013-08-08
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Added a way to change dynamically coqtop arguments in CoqIDE.	ppedrot	2013-07-27
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge	2013-04-19
*	Tentative heuristic fix to handle lexer failures from CoqIDE when	ppedrot	2013-02-22
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Uniformization of Coq tasks	ppedrot	2013-01-26
*	Coqide: avoid potentially blocking read on coqtop channel	letouzey	2013-01-22
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: handle possible fragmentation in xml answers	letouzey	2012-12-08
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Coqide : allow properly closing communication pipes with coqtop	letouzey	2012-11-12
*	More type-safe interface to Coq XML API.	ppedrot	2012-09-17
*	Updating headers.	herbelin	2012-08-08
*	Various small display improvement	ppedrot	2012-06-29
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
*	Now CoqIDE auto-sets the printing width of the goal display.	ppedrot	2012-06-26
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Coqide: minor formatting improvement of an error message	letouzey	2012-05-15
*	Coqide: in win32 command given to cmd.exe should be more quoted	letouzey	2012-05-15
*	Coqide: display initial connection errors in popups instead of on stderr	letouzey	2012-05-15
*	Added semantic completion in CoqIDE. (Should also add an option for that...)	ppedrot	2012-05-13
*	Heavily rewritten the coqtop management process of coqide. The coqtop	ppedrot	2012-05-13
*	Coqide awful coqtop options parsing fixup	pboutill	2012-05-11
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot	2011-12-15
*	Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...	ppedrot	2011-11-30
*	Now CoqIDE relies on the option query mechanism to set printing options. Stil...	ppedrot	2011-11-30
*	Separated the toplevel interface into a purely declarative module with associ...	ppedrot	2011-11-25
*	Return of the tactic hints features in CoqIDE.	ppedrot	2011-11-18
*	Also sprach CoqIDE (in XML)	ppedrot	2011-11-06
*	In Coq_config: get rid of coqsrc and make coqlib optional	glondu	2011-09-27
*	Ide_intf: slight reorganisation of the IDE api	letouzey	2011-09-05
*	safe_prerr_endline in Minilib	pboutill	2011-09-01