coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Coqide: Fix the command separator for external cmds (#2363)	letouzey	2011-04-20
*	More up to date About in coqide	pboutill	2011-04-08
*	coqide shutdown process change (and out the main function)	pboutill	2011-04-08
*	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
*	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
*	MacOS integration	pboutill	2011-01-07
*	Separate load_file handler in coqide	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
*	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
*	Fix function applications without labels (OCaml warning 6)	glondu	2010-09-28
*	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
*	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
*	fixing error message display.	vgross	2010-06-07
*	added -args option to coqide to pass options to coqtops	vgross	2010-06-01
*	CoqIDE goes multiprocess	vgross	2010-05-31
*	Introducing strong typing for IDE - toplevel IPC	vgross	2010-05-31
*	deporting Coq specific code from ide to toplevel.	vgross	2010-05-31
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Dont recompute the contents of the proof window when entering the	vgross	2010-04-28
*	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack	2010-04-22
*	Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflit	aspiwack	2010-04-05
*	Changing types to reflect futur separation between toplevel and ide.	vgross	2010-03-23
*	Goal generation deported into ide/coq.ml, single function to obtain	vgross	2010-03-23
*	New backtracking code + fix bug #2082.	vgross	2010-02-26
*	Introducing a dual stack setup	vgross	2010-02-26
*	New API for backtracking.	vgross	2010-02-26
*	Various fixes in interp, session switching and backtracking	vgross	2010-02-25