coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Fixing #2763	ppedrot	2013-02-20
*	CoqIDE: Including autocompletion in word proposals	ppedrot	2013-02-20
*	Adding scrollbars to CoqIDE autocompletion	ppedrot	2013-02-20
*	New autocompletion mechanism in CoqIDE. Now provides many answers	ppedrot	2013-02-19
*	Fixing autocompletion lock in CoqIDE	ppedrot	2013-02-13
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Better Undo/Redo mechanism	ppedrot	2013-01-25
*	Trying to fix CoqIDE undo/redo mechanism	ppedrot	2013-01-25
*	Fixing autocompletion in CoqIDE	ppedrot	2013-01-25
*	Wg_ScriptView: avoid invalid iters during completion	letouzey	2012-12-11
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
*	Updating headers.	herbelin	2012-08-08
*	Added the show_margin_right option to CoqIDE	ppedrot	2012-06-26
*	Fixing annoying autocompletion when deleting text.	ppedrot	2012-06-13
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Fixed bug #2781... (We hope so.)	ppedrot	2012-05-16
*	Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.	ppedrot	2012-05-16
*	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
*	Cleanly rewritten the undo manager, which did not support redo and had	ppedrot	2012-05-06
*	Renamed Undo to conform to CoqIDE widget naming convention. In addition,	ppedrot	2012-05-05