coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	CoqIDE goes multiprocess	vgross	2010-05-31
*	More indirection.	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
*	Modifying startup sequence	vgross	2010-05-31
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Fix bug #2315 : printing of defined evars in Coqide.	aspiwack	2010-05-07
*	Pfedit.resume_proof doesn't implicitly Pfedit.suspend_proof	pboutill	2010-05-05
*	- Fixing bug #2308 about Lemma ... with	vsiles	2010-05-04
*	ocamldoc related fixes	pboutill	2010-05-03
*	Fail: a way to check that a command is refused without blocking a script	letouzey	2010-04-30
*	"make source-doc" builds documentation of mli in html and pdf at	pboutill	2010-04-29
*	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
*	Util: remove list_split_at which is a clone of list_chop	letouzey	2010-04-16