coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	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
*	Coqide: try to properly send interrupts to coqtop on Win32	letouzey	2011-04-28
*	Coqide: let's try to be synchronuous when killing coqtop	letouzey	2011-04-21
*	Coqlib: avoid deadlock under win32 with force_reset_initial	letouzey	2011-04-21
*	Coqide: back to using Unix.stderr in create_process	letouzey	2011-04-21
*	Coqide: better handling of stdout/stderr in win32	letouzey	2011-04-21
*	Coqide: quote coqtop filename if necessary	letouzey	2011-04-21
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	Coqide: try to avoid displaying error messages on coqide's console	letouzey	2011-04-21
*	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey	2011-04-21
*	Coqide: avoid confusion of process when restarting coqtop + cosmetic	letouzey	2011-03-30
*	Ide_slave: better handling of Ctrl-C	letouzey	2011-03-30
*	Ide: misc (nicer message than End_of_file, a useless try removed	letouzey	2011-03-28
*	Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args	letouzey	2011-03-28
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Ide_intf : change type of location in ide	letouzey	2011-03-25
*	Ide: stronger separation from coqtop	letouzey	2011-03-23
*	Ide: experimentally allow coqide to interrupt or kill coqtop	letouzey	2011-03-23