coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	STM: tell the user if the master is recomputing states validated by workers	Enrico Tassi	2014-01-30
*	CoqIDE: command line for extra coqtop "flags"	Enrico Tassi	2014-01-26
*	CoqIDE: ported to spawn	Enrico Tassi	2014-01-26
*	CoqIDE: do not unfocus if not needed on errors (closes: 3197)	Enrico Tassi	2014-01-06
*	nanoPG: compete rewriting with more Emacs/PG like features	Enrico Tassi	2014-01-05
*	Paral-ITP: cleanup of command line flags and more conservative default	Enrico Tassi	2014-01-05
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	Fix CoqIDE compilation under standard version of lablgtk2	Enrico Tassi	2013-12-11
*	Fix CoqIDE on windows	Enrico Tassi	2013-12-10
*	Ensure locality modifiers are properly highlighted in CoqIDE.	Guillaume Melquiond	2013-12-03
*	Silence compilation warning by avoiding some deprecated constructs.	Guillaume Melquiond	2013-12-03
*	CoqIDE: show error message for parsing errors	Enrico Tassi	2013-11-27
*	Adds a tactic give_up.	aspiwack	2013-11-02
*	Adds a shelve tactic.	aspiwack	2013-11-02
*	CoqIDE: scroll to the right position if there is an interp error	gareuselesinge	2013-10-31
*	CoqIDE: fix coloring bug when jumping back to the first phrase	gareuselesinge	2013-10-24
*	cList.index is now cList.index_f, same for index0	letouzey	2013-10-23
*	cList: set-as-list functions are now with an explicit comparison	letouzey	2013-10-23
*	CoqIDE: always retag on insert	gareuselesinge	2013-10-22
*	CoqIDE: do not try to backtrack to a dummy id	gareuselesinge	2013-10-22
*	Wg_Find: regex + case insensitive find/replace support	gareuselesinge	2013-10-22
*	wg_Detachable: move out of wg_Command	gareuselesinge	2013-10-22
*	Wg_Commands: fix warning "widget not within a GtkWindow"	gareuselesinge	2013-10-22
*	Wg_Commands: when detached display the buffer name	gareuselesinge	2013-10-22
*	CoqIDE: display in the errors window also the slaves status	gareuselesinge	2013-10-22
*	wg_Commands: smaller icons in tabs	gareuselesinge	2013-10-22
*	ideutils: support custom size for stock icons	gareuselesinge	2013-10-22
*	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