coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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