coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Merge branch 'v8.5'	Pierre-Marie Pédrot	2016-01-21
\|\
\| *	Update copyright headers.	Maxime Dénès	2016-01-20
* \|	Remove some useless type declarations.	Guillaume Melquiond	2016-01-02
\|/
*	Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.	Pierre-Marie Pédrot	2015-01-25
*	Fixing bug #3947.	Pierre-Marie Pédrot	2015-01-25
*	Update headers.	Maxime Dénès	2015-01-12
*	Wg_Find: regex + case insensitive find/replace support	gareuselesinge	2013-10-22
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Cosmetic changes to CoqIDE finder widget.	ppedrot	2013-02-22
*	CoqIDE: Adding escape reaction to replace widget	ppedrot	2013-02-13
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
*	Fixup last commit	ppedrot	2013-01-25
*	Hugo request: CoqIDE find on enter	ppedrot	2013-01-25
*	Coqide: use labels for all labelled functions	letouzey	2012-12-08
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
*	Updating headers.	herbelin	2012-08-08
*	Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...	ppedrot	2012-04-24
*	Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All wa...	ppedrot	2012-04-23
*	Cleaning a bit previous commit	ppedrot	2012-04-23
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...	ppedrot	2012-04-23