coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Coqide: try to properly send interrupts to coqtop on Win32	letouzey	2011-04-28
*	Coqide: fix remove_current_view_page (#2499)	letouzey	2011-04-26
*	Coqide: fix synchro when restarting during a single step	letouzey	2011-04-22
*	Coqide: let's try to be synchronuous when killing coqtop	letouzey	2011-04-21
*	Coqide: remove some dead code	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: typo	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
*	Coqide: better construction of default coqtop path	letouzey	2011-04-21
*	Win32: remove the need for Coq.bat and Coqide.bat	letouzey	2011-04-21
*	Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ...	letouzey	2011-04-21
*	Win32: let's directly make coqtop.exe and coqide.exe incorporate coq.ico	letouzey	2011-04-21
*	Coqide: Fix the command separator for external cmds (#2363)	letouzey	2011-04-20
*	More up to date About in coqide	pboutill	2011-04-08
*	Macos integration step2 : shutdown	pboutill	2011-04-08
*	coqide shutdown process change (and out the main function)	pboutill	2011-04-08
*	Add 'Existing Instances' declaration to declare multiple instances at once.	letouzey	2011-04-06
*	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_slave: better handling of Ctrl-C	letouzey	2011-03-30
*	Coqide: synchronise the reset_initial via the coq_computing mutex	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/coqide.ml: a pass of more decent automatic indentation	letouzey	2011-03-25
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	Ide_intf : change type of location in ide	letouzey	2011-03-25
*	Ide: mention "Restart" instead of "Go to start" for corresponding button	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
*	Remove references to -ide option of coqmktop	glondu	2011-01-11
*	MacOS integration	pboutill	2011-01-07
*	Separate load_file handler in coqide	pboutill	2011-01-07
*	Coqide is not built with coqmktop any more	pboutill	2011-01-07
*	Call coqtop with -nois when probing for files	pboutill	2011-01-07
*	Fix print in coqide	pboutill	2011-01-07
*	Reverted r13715 "Add improved indenters that rely on the current proof state ...	gmelquio	2011-01-06
*	Remove Safe_marshal	glondu	2011-01-06
*	Add improved indenters that rely on the current proof state to choose the ind...	gmelquio	2010-12-14
*	Add navigation items for quickly moving between word occurrences.	gmelquio	2010-12-14
*	Improved the search/replace dialog box:	gmelquio	2010-12-14
*	Fix mutex being released from a different thread than it is acquired from.	gmelquio	2010-12-14
*	Avoid silent loss of data when closing an unsaved buffer.	gmelquio	2010-12-13
*	Made new comm. model between coq and coqide support '-R foo ""'-style option.	herbelin	2010-12-04
*	Improved error messages in CoqIDE:	herbelin	2010-11-07
*	End of commit 13600: files can be given as arguments of coqide again.	pboutill	2010-11-04
*	Remove some unnecessary (?) "open Ideutils"	glondu	2010-10-31