coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers.	Maxime Dénès	2015-01-12
*	CoqIDE: on win32 the old interrputer code (SIGINT) is still needed	Enrico Tassi	2014-07-10
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	CoqIDE: ported to spawn	Enrico Tassi	2014-01-26
*	Fix CoqIDE compilation under standard version of lablgtk2	Enrico Tassi	2013-12-11
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Added a way to change dynamically coqtop arguments in CoqIDE.	ppedrot	2013-07-27
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	updating ide/coq documentation	ppedrot	2013-01-26
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Uniformization of Coq tasks	ppedrot	2013-01-26
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Updating headers.	herbelin	2012-08-08
*	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
*	Fixing a potential bug of coqtop management in CoqIDE due to a	ppedrot	2012-06-23
*	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: the coqtop to launch is a preference.	pboutill	2012-04-17
*	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
*	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
*	Making status info better in CoqIDE: path and name of current lemma	ppedrot	2011-11-18
*	Coqide: new backtracking code, based on the Backtrack command	letouzey	2011-09-05
*	Ide_intf: slight reorganisation of the IDE api	letouzey	2011-09-05
*	Coqide: try to properly send interrupts to coqtop on Win32	letouzey	2011-04-28
*	Coqlib: avoid deadlock under win32 with force_reset_initial	letouzey	2011-04-21
*	Coqide: a special kill function for win32	letouzey	2011-04-21
*	Coqide: avoid confusion of process when restarting coqtop + cosmetic	letouzey	2011-03-30
*	Ide_intf: remove useless int answer to the "interp" and "rewind" calls	letouzey	2011-03-30
*	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
*	Reverted r13715 "Add improved indenters that rely on the current proof state ...	gmelquio	2011-01-06
*	Add improved indenters that rely on the current proof state to choose the ind...	gmelquio	2010-12-14
*	Improved error messages in CoqIDE:	herbelin	2010-11-07
*	CoqIDE argv parsing delegated to coqtop	vgross	2010-09-14
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Robustness fix : clean restart of coqtop on pipe error + force matching	vgross	2010-07-05