coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|
*	deprecate Pp.std_ppcmds type alias	Matej Košík	2017-07-27
\|
*	Fixing bug #4540: CoqIDE bottom progress bar does not update.	Pierre-Marie Pédrot	2016-02-20
\|
*	Removing GUtil dependency from ide/document.ml.	Pierre-Marie Pédrot	2015-01-05
\| \| \| \|	We reimplement a quick-n-dirty Gtk-free signal handler.
*	Implementing a segment-viewer in CoqIDE.	Pierre-Marie Pédrot	2015-01-05
\| \| \| \| \| \| \|	This allows a nifty display of the current state of the document through a dedicated progress bar. Also closes bug #3764.
*	CoqIDE: move cmd_stack to a separate module: Document	gareuselesinge	2013-10-10
\| \| \| \| \| \| \| \|	The idea is to move the logic related to document handling to a separate module that can be tested by fake_ide too. CoqOps should "only" interface Document with the GtkTextBuffer. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16870 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIDE: cStack -> Document	gareuselesinge	2013-10-07
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16856 85f007b7-540e-0410-9357-904b9bb8a0f7