coq - The formal proof system

Age	Commit message (Expand)	Author
2012-09-17	More type-safe interface to Coq XML API.	ppedrot
2012-08-08	Updating headers.	herbelin
2012-06-29	Various small display improvement	ppedrot
2012-06-29	Now CoqIDE separates answer and messages. This should hopefully	ppedrot
2012-06-26	Now CoqIDE auto-sets the printing width of the goal display.	ppedrot
2012-05-23	Cleaned prerr_endline use.	ppedrot
2012-05-15	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-13	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-11	Coqide awful coqtop options parsing fixup	pboutill
2012-05-02	Removed the useless use of a reference in preference handling.	ppedrot
2012-04-17	Coqide: the coqtop to launch is a preference.	pboutill
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-12-18	CoqIde files position is freedesktop compliant.	pboutill
2011-12-15	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot
2011-11-30	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-25	Separated the toplevel interface into a purely declarative module with associ...	ppedrot
2011-11-18	Return of the tactic hints features in CoqIDE.	ppedrot
2011-11-06	Also sprach CoqIDE (in XML)	ppedrot
2011-09-27	In Coq_config: get rid of coqsrc and make coqlib optional	glondu
2011-09-05	Ide_intf: slight reorganisation of the IDE api	letouzey
2011-09-01	safe_prerr_endline in Minilib	pboutill
2011-04-28	Coqide: try to properly send interrupts to coqtop on Win32	letouzey
2011-04-21	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-03-30	Coqide: avoid confusion of process when restarting coqtop + cosmetic	letouzey
2011-03-30	Ide_slave: better handling of Ctrl-C	letouzey
2011-03-28	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-25	Ide: more reorganisation and cleanup	letouzey
2011-03-25	Ide_intf : change type of location in ide	letouzey
2011-03-23	Ide: stronger separation from coqtop	letouzey
2011-03-23	Ide: experimentally allow coqide to interrupt or kill coqtop	letouzey
2011-01-07	Call coqtop with -nois when probing for files	pboutill
2011-01-06	Reverted r13715 "Add improved indenters that rely on the current proof state ...	gmelquio
2011-01-06	Remove Safe_marshal	glondu
2010-12-14	Add improved indenters that rely on the current proof state to choose the ind...	gmelquio
2010-12-04	Made new comm. model between coq and coqide support '-R foo ""'-style option.	herbelin
2010-11-07	Improved error messages in CoqIDE:	herbelin
2010-09-14	CoqIDE argv parsing delegated to coqtop	vgross
2010-07-24	Updated all headers for 8.3 and trunk	herbelin