coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
*	Little code restructuration in CoqIDE tags.	Hugo Herbelin	2017-10-22
*	An attempt to fix issue #5771 (error color hidden by warning color).	Hugo Herbelin	2017-10-22
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
*	A new infrastructure for warnings.	Maxime Dénès	2016-06-29
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Using the new preference mechanism for colors in CoqIDE.	Pierre-Marie Pédrot	2015-08-16
\|/
*	CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)	Enrico Tassi	2015-04-02
*	CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)	Enrico Tassi	2015-02-17
*	CoqIDE: restore old default colors	Enrico Tassi	2015-02-14
*	Attempt to be more colorblind friendly in CoqIDE (Close #4024)	Enrico Tassi	2015-02-14
*	Update headers.	Maxime Dénès	2015-01-12
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	CoqIDE: make error background configurable	gareuselesinge	2013-10-11
*	CoqIDE: single underline for errors	gareuselesinge	2013-10-11
*	CoqIDE: a comment is not a sentence	gareuselesinge	2013-10-10
*	CoqIDE ported to the revides protocol	gareuselesinge	2013-09-30
*	Automatic backtracking if locked zone is edited	gareuselesinge	2013-08-11
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Coqide: new tag "tooltip" for the Script window	gareuselesinge	2013-04-25
*	Adding color for warnings in CoqIDE	ppedrot	2013-03-19
*	Coqide: restore the tag removal of copy-pasted zones	letouzey	2012-12-10
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
*	Modification of the unjustified tag.	aspiwack	2012-08-24
*	Updating headers.	herbelin	2012-08-08
*	Coqide coq lexer put one tag at the end of a sentence.	pboutill	2012-05-02
*	Source language and style are preferences	pboutill	2012-05-02
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...	ppedrot	2012-04-23
*	A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.	ppedrot	2012-03-28
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Changes in lexing and tagging.	vgross	2010-02-25
*	Ergonomy and robustness fix	vgross	2009-11-23
*	new handling for lexical structures.	vgross	2009-11-13
*	note for later : when the tag table is shared, never, ever create two	vgross	2009-10-16
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	tags refactoring	vgross	2009-09-14