coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\|
*	Removing dead code and unused opens.	Pierre-Marie Pédrot	2016-05-08
\|
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
\| \|
* \|	Replacing old-style preferences in CoqIDE.	Pierre-Marie Pédrot	2015-08-26
\|/ \| \| \| \|	There is no remaining global preference record anymore, every preference is now defined in the new event-based style.
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	Silence compilation warning by avoiding some deprecated constructs.	Guillaume Melquiond	2013-12-03
\|
*	Using ML signalling in CoqIDE	ppedrot	2013-03-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16322 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIDE: Add TAB key to autocomplete	ppedrot	2013-02-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16243 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixing #2763	ppedrot	2013-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16229 85f007b7-540e-0410-9357-904b9bb8a0f7
*	More handling of scrollbars in CoqIDE completion	ppedrot	2013-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16228 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIDE: Including autocompletion in word proposals	ppedrot	2013-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16227 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Adding scrollbars to CoqIDE autocompletion	ppedrot	2013-02-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16224 85f007b7-540e-0410-9357-904b9bb8a0f7
*	New autocompletion mechanism in CoqIDE. Now provides many answers	ppedrot	2013-02-19
	through a popup. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16223 85f007b7-540e-0410-9357-904b9bb8a0f7