coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[xml] Restore protocol compatibility with 8.6.	Emilio Jesus Gallego Arias	2017-03-21
*	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
*	Removing dead code in CoqIDE.	Pierre-Marie Pédrot	2016-09-21
*	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias	2016-06-02
*	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
*	Implementing a segment-viewer in CoqIDE.	Pierre-Marie Pédrot	2015-01-05
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	wg_Detachable: move out of wg_Command	gareuselesinge	2013-10-22
*	CoqIDE: cStack -> Document	gareuselesinge	2013-10-07
*	CoqIDE: wg_Tooltip removed, new tooltip handling	gareuselesinge	2013-09-30
*	Add a (very minimal) Proof General mode to CoqIDE	gareuselesinge	2013-08-08
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	New autocompletion mechanism in CoqIDE. Now provides many answers	ppedrot	2013-02-19
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16
*	Made the message view of CoqIDE abstract.	ppedrot	2012-06-24
*	Added semantic completion in CoqIDE. (Should also add an option for that...)	ppedrot	2012-05-13
*	Rewritten the autocompletion mechanism of CoqIDE, and stuffed it	ppedrot	2012-05-08
*	Renamed Undo to conform to CoqIDE widget naming convention. In addition,	ppedrot	2012-05-05
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...	ppedrot	2012-04-23
*	Cleaning up widget code and using a naming convention for such files.	ppedrot	2012-04-20
*	Add option -f to coqide	pboutill	2011-09-01
*	Creation of ide/project_file.ml4	pboutill	2011-09-01
*	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill	2011-06-10
*	Ide: more reorganisation and cleanup	letouzey	2011-03-25
*	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
*	Remove ide/coq_tactics.ml*	glondu	2010-10-06
*	Changement de ide/proofs.ml en ide/ideproofs.ml pour éviter un conflit	aspiwack	2010-04-05
*	Goal generation deported into ide/coq.ml, single function to obtain	vgross	2010-03-23
*	Fixing modules names.	vgross	2010-02-18
*	Revert "Isolation of proof-displaying code"	vgross	2010-01-11
*	Isolation of proof-displaying code	vgross	2010-01-11
*	new handling for lexical structures.	vgross	2009-11-13
*	tags refactoring	vgross	2009-09-14
*	Many changes in the Makefile infrastructure + a beginning of ocamlbuild	letouzey	2009-03-20