coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Adding an option "Printing Unfocused".	Pierre Courtieu	2017-05-04
*	Warning 29: non escaped end of line may be non portable	Gaetan Gilbert	2017-04-27
*	User queries can be terminated with "...".	Cyprien Mangin	2016-06-02
*	Add user-created queries to CoqIDE.	Cyprien Mangin	2016-06-02
*	Add a [Show Proof.] query to CoqIDE.	Cyprien Mangin	2016-06-02
*	Remove Whelp commands.	Maxime Dénès	2015-02-17
*	Wg_Find: regex + case insensitive find/replace support	gareuselesinge	2013-10-22
*	wg_Command: detachable, less "from the 80s", query pane	gareuselesinge	2013-09-30
*	Add a (very minimal) Proof General mode to CoqIDE	gareuselesinge	2013-08-08
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Added a way to change dynamically coqtop arguments in CoqIDE.	ppedrot	2013-07-27
*	Coqide: view -> zoom in / out / fit	gareuselesinge	2013-05-06
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
*	More monomorphizations	ppedrot	2012-11-13
*	Added Print Assumptions command to CoqIDE	ppedrot	2012-09-10
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Renamed Undo to conform to CoqIDE widget naming convention. In addition,	ppedrot	2012-05-05
*	Coqide coq lexer put one tag at the end of a sentence.	pboutill	2012-05-02
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...	ppedrot	2012-04-23
*	Cleaning up preferences and hooks in CoqIDE	ppedrot	2012-04-18
*	Added a tab changing command in CoqIDE and moved display options around	ppedrot	2012-04-18
*	Revert "Coqide now need lablgtk2.14.0" + Ide build system debugging	pboutill	2011-06-14
*	Coqide Menubar integration in MacOS	pboutill	2011-06-10
*	Menubar and toolbar in coqide using GtkUI & Gactions.	pboutill	2011-06-10