coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Modulification and removing of structural equality in Stateid.	ppedrot	2013-08-19
*	Tooltips can be augmented with custom widgets, still not clickable	gareuselesinge	2013-08-19
*	Setting tooltip font monospace.	ppedrot	2013-08-12
*	Automatic backtracking if locked zone is edited	gareuselesinge	2013-08-11
*	Adding the processed tag to comments in CoqIDE.	ppedrot	2013-08-09
*	Gtk check_buttons do have a label	gareuselesinge	2013-08-08
*	Add a (very minimal) Proof General mode to CoqIDE	gareuselesinge	2013-08-08
*	stm: (initial) support for -coq-slaves	gareuselesinge	2013-08-08
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Fixing a warning in CoqIDE compilation.	ppedrot	2013-08-08
*	Granting wish #1781:	ppedrot	2013-07-30
*	Protecting every call to current_term in CoqIDE so that callback	ppedrot	2013-07-27
*	Added a way to change dynamically coqtop arguments in CoqIDE.	ppedrot	2013-07-27
*	New module Xml_printer (dual to Xml_parser)	gareuselesinge	2013-05-06
*	Coqide: view -> zoom in / out / fit	gareuselesinge	2013-05-06
*	Ideutils: comment on missing Glib utf8 handling function	gareuselesinge	2013-05-06
*	Fix: tooltip correctly handles the absence of info (empty string)	gareuselesinge	2013-04-25
*	Coqide: Globalization feedback (proof of concept)	gareuselesinge	2013-04-25
*	lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutils	gareuselesinge	2013-04-25
*	Coqide: new tag "tooltip" for the Script window	gareuselesinge	2013-04-25
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	interface.mli and serialize.ml reworked to avoid copy/paste of types	gareuselesinge	2013-04-19
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Better encapsulation of MessageView	ppedrot	2013-03-20
*	Using ML signalling in CoqIDE	ppedrot	2013-03-19
*	Adding color for warnings in CoqIDE	ppedrot	2013-03-19
*	CoqIDE: Add TAB key to autocomplete	ppedrot	2013-02-25
*	Tentative heuristic fix to handle lexer failures from CoqIDE when	ppedrot	2013-02-22
*	Cosmetic changes to CoqIDE finder widget.	ppedrot	2013-02-22
*	Fixing an annoying bug in CoqIDE which causes the very first line	ppedrot	2013-02-20
*	Fixing #2763	ppedrot	2013-02-20
*	More handling of scrollbars in CoqIDE completion	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
*	CoqIDE: Adding escape reaction to replace widget	ppedrot	2013-02-13
*	Fixing autocompletion lock in CoqIDE	ppedrot	2013-02-13
*	updating ide/coq documentation	ppedrot	2013-01-26
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Uniformization of Coq tasks	ppedrot	2013-01-26
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
*	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
*	Fixup last commit	ppedrot	2013-01-25
*	Hugo request: CoqIDE find on enter	ppedrot	2013-01-25
*	Coqide: limit read buffer size to 4096 (pipe size in win32)	letouzey	2013-01-23
*	Coqide: avoid potentially blocking read on coqtop channel	letouzey	2013-01-22
*	Coq_makefile: -extra & -phony-extra for user defined makefile rule	pboutill	2013-01-07