coq - The formal proof system

Age	Commit message (Expand)	Author
2010-12-14	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-13	Avoid silent loss of data when closing an unsaved buffer.	gmelquio
2010-12-04	Made new comm. model between coq and coqide support '-R foo ""'-style option.	herbelin
2010-11-07	Improved error messages in CoqIDE:	herbelin
2010-11-04	End of commit 13600: files can be given as arguments of coqide again.	pboutill
2010-10-31	Remove some unnecessary (?) "open Ideutils"	glondu
2010-10-31	Remove (unused) ide/highlight.mll	glondu
2010-10-07	TeX input method is now supported upstream	vgross
2010-10-06	Remove ide/coq_tactics.ml*	glondu
2010-09-28	Fix function applications without labels (OCaml warning 6)	glondu
2010-09-19	Addressing part 2 of bug report 2377 (removing intrusive warning when	herbelin
2010-09-14	CoqIDE argv parsing delegated to coqtop	vgross
2010-09-13	Fix unescaped end-of-lines (OCaml warning 29)	glondu
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-07-12	coqide: s/Sys.argv.(0)/Sys.executable_name/ for coqtop (cf #2341)	glondu
2010-07-05	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-02	Fixing tabs closing problems by removing activation infrastructure.	vgross
2010-06-22	fix bug #2318, parsing error on dos line endings	vgross
2010-06-10	Fix build with OCaml 3.12	glondu
2010-06-07	fixing error message display.	vgross
2010-06-01	added -args option to coqide to pass options to coqtops	vgross
2010-05-31	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-19	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey
2010-05-07	Fix bug #2315 : printing of defined evars in Coqide.	aspiwack
2010-05-05	Pfedit.resume_proof doesn't implicitly Pfedit.suspend_proof	pboutill
2010-05-04	- Fixing bug #2308 about Lemma ... with	vsiles
2010-05-03	ocamldoc related fixes	pboutill
2010-04-30	Fail: a way to check that a command is refused without blocking a script	letouzey
2010-04-29	"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-28	Dont recompute the contents of the proof window when entering the	vgross
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack
2010-04-16	Util: remove list_split_at which is a clone of list_chop	letouzey
2010-04-05	Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflit	aspiwack
2010-03-23	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 functions for goals fetching.	vgross
2010-03-23	Fix bug in backtracking.	vgross
2010-03-23	debugging	vgross
2010-02-26	New backtracking code + fix bug #2082.	vgross
2010-02-26	Introducing a dual stack setup	vgross