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
\|
*	Avoid refreshing the segment widget each time a sentence is added.	Lionel Rieg	2016-06-02
\| \| \| \|	This brings a 10x speedup for going at the end of large .v files.
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-02-21
\|\
\| *	Fixing bug #4540: CoqIDE bottom progress bar does not update.	Pierre-Marie Pédrot	2016-02-20
\| \|
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\\|
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
\| \|
* \|	Switching to an event-based mechanism for CoqIDE preferences.	Pierre-Marie Pédrot	2015-08-31
\|/ \| \| \| \|	There is no remaining hook in the preferences. In particular, the refresh_editor_hook is gone.
*	Made the CoqIDE progress gutter clickable.	Pierre-Marie Pédrot	2015-01-29
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	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.