coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Remove (unused) ide/highlight.mll	glondu	2010-10-31
*	TeX input method is now supported upstream	vgross	2010-10-07
*	Remove ide/coq_tactics.ml*	glondu	2010-10-06
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	Addressing part 2 of bug report 2377 (removing intrusive warning when	herbelin	2010-09-19
*	CoqIDE argv parsing delegated to coqtop	vgross	2010-09-14
*	Fix unescaped end-of-lines (OCaml warning 29)	glondu	2010-09-13
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	coqide: s/Sys.argv.(0)/Sys.executable_name/ for coqtop (cf #2341)	glondu	2010-07-12
*	Fix goal display when backtracking	vgross	2010-07-05
*	Robustness fix : clean restart of coqtop on pipe error + force matching	vgross	2010-07-05
*	Stronger checks on coqtop termination, warning when zombies.	vgross	2010-07-05
*	Fixing tabs closing problems by removing activation infrastructure.	vgross	2010-07-02
*	fix bug #2318, parsing error on dos line endings	vgross	2010-06-22
*	Fix build with OCaml 3.12	glondu	2010-06-10
*	fixing error message display.	vgross	2010-06-07
*	added -args option to coqide to pass options to coqtops	vgross	2010-06-01