coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: make error background configurable	gareuselesinge	2013-10-11
*	CoqIDE: single underline for errors	gareuselesinge	2013-10-11
*	CoqIDE: error reporting fixed	gareuselesinge	2013-10-10
*	Document: undoing inside a focused zone does not require unfocusing	gareuselesinge	2013-10-10
*	CoqIDE: ported to Document	gareuselesinge	2013-10-10
*	CoqIDE: move cmd_stack to a separate module: Document	gareuselesinge	2013-10-10
*	CoqIDE: a comment is not a sentence	gareuselesinge	2013-10-10
*	CoqIDE: fix jumpig out of a focused proof	gareuselesinge	2013-10-07
*	CoqIDE: cStack -> Document	gareuselesinge	2013-10-07
*	CoqIDE: when jumping to an error also move the cursor	gareuselesinge	2013-10-03
*	CoqIDE: when checking the whole document, center script view on error	gareuselesinge	2013-10-01
*	CoqIDE: fixed advance_until wrt unfocusing	gareuselesinge	2013-10-01
*	CoqIDE: do not print cmd_stack too often	gareuselesinge	2013-10-01
*	CoqIDE: do not fail hard if a message is asynchronous	gareuselesinge	2013-10-01
*	CoqIDE: fix reset initial	gareuselesinge	2013-10-01
*	CoqIDE: use #present to raise error window	gareuselesinge	2013-09-30
*	Backtrace.record_backtrace in CoqIDE too	gareuselesinge	2013-09-30
*	CoqIDE: wg_Tooltip removed, new tooltip handling	gareuselesinge	2013-09-30
*	ideutils: stock_to_widget was ignoring the ~size argument	gareuselesinge	2013-09-30
*	wg_Command: detachable, less "from the 80s", query pane	gareuselesinge	2013-09-30
*	wg_Session: fix copy/paste of tagged text	gareuselesinge	2013-09-30
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	When Coq is reset-initialed by CoqIDE, do reset jobs counters	gareuselesinge	2013-09-13
*	fix error reporting window size calculation	gareuselesinge	2013-09-13
*	CoqIDE: new async error reporting window and slaves status	gareuselesinge	2013-09-13
*	Do no compage wg_Notebook terms with (=)	gareuselesinge	2013-09-13
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	Moving Searchstack to CStack, and normalizing names a bit.	ppedrot	2013-09-06
*	More robust argument setter in CoqIDE. It does not crash anymore on bad	ppedrot	2013-09-04
*	CoqIDE: fixed detection of edits in the locked zone	gareuselesinge	2013-08-20
*	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