coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	CoqIDE: fixing parsing of bullets and brackets even at end of file.	Hugo Herbelin	2014-08-05
*	Uncountably many bullets (+,-,,++,--,*,+++,...).	Hugo Herbelin	2014-08-05
*	Coqide: check_connection now also checks correct loading of coqide plugin +	Hugo Herbelin	2014-08-05
*	STM: code restructured to reuse task queue for tactics	Enrico Tassi	2014-08-05
*	Coqide: annoying popups with GTK errors only in debug mode	Enrico Tassi	2014-08-05
*	Make MacStore like coqide more	Pierre Boutillier	2014-07-24
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	the art of forgetting new files during rebase -i	Pierre Boutillier	2014-07-22
*	A makefile rule to build bin/CoqIDE_$VERSION.app macOS bundle	Pierre Boutillier	2014-07-22
*	Coqide use '(diraname MYSELF)/coqtop' as coqtop only if this file exists	Pierre Boutillier	2014-07-22
*	CoqIDE: on win32 the old interrputer code (SIGINT) is still needed	Enrico Tassi	2014-07-10
*	Little coqide bug, when coqtop outputs empty lines, as e.g. when calling coqi...	Hugo Herbelin	2014-06-30
*	Coq_makefile takes advantages of -I -Q -R cleanup	Pierre Boutillier	2014-06-30
*	Coq_makefile: -extra[-phony] correction + doc	Pierre Boutillier	2014-06-30
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Support dropping files over the coqide window. (Partial fix for bug #2765)	Guillaume Melquiond	2014-06-19
*	Fixing ml-doc.	Pierre-Marie Pédrot	2014-05-01
*	Fix broken commit 2bcb2cb.	Guillaume Melquiond	2014-04-28
*	Fix incorrect syntax highlighting after the Goal command.	Guillaume Melquiond	2014-04-28
*	CoqIDE: options for syntax highlighting	Enrico Tassi	2014-04-10
*	CoqIDE: removing a timer may raise an exception	Enrico Tassi	2014-04-10
*	nanoPG: when the cursor moves, scroll to make it appear on screen	Enrico Tassi	2014-04-09
*	nanoPG: takeover keypress only when text view has focus	Enrico Tassi	2014-04-09
*	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot	2014-04-07
*	Clean up the .merlin	Thomas Refis	2014-04-03
*	CoqIDE: better error reporting for Qed on incomplete proof	Enrico Tassi	2014-03-26
*	nanoPG: better copy/paste	Enrico Tassi	2014-03-13
*	Stm: smarter delegation policy	Enrico Tassi	2014-03-12
*	CoqIDE: Errors page gets red if not empty	Enrico Tassi	2014-03-12
*	CoqIDE: detachable message/error/jobs panes	Enrico Tassi	2014-03-12
*	remove trailing '\r' from file names returned by coqtop	Virgile Prevosto	2014-03-06
*	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey	2014-03-05
*	Move error and job display to the lower right pane.	Guillaume Melquiond	2014-03-04
*	Fix syntax highlighting of "Implicit Arguments" for gtksourceview.	Guillaume Melquiond	2014-03-02
*	CoqIDE: when coqtop misbehaves kill it properly (no zombie)	Enrico Tassi	2014-02-17
*	[nanoPG]: emacs like copy/paste	Enrico Tassi	2014-02-17
*	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