coq - The formal proof system

Age	Commit message (Expand)	Author
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2016-01-02	Remove some useless type declarations.	Guillaume Melquiond
2015-01-25	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-12	Update headers.	Maxime Dénès
2013-10-22	Wg_Find: regex + case insensitive find/replace support	gareuselesinge
2013-04-17	Renaming SearchAbout into Search and Search into SearchHead.	herbelin
2013-02-22	Cosmetic changes to CoqIDE finder widget.	ppedrot
2013-02-13	CoqIDE: Adding escape reaction to replace widget	ppedrot
2013-01-25	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
2012-12-08	Coqide: use labels for all labelled functions	letouzey
2012-09-06	Added a comment/uncomment command to CoqIDE	ppedrot
2012-09-06	Nice output of SearchAbout command in CoqIDE	ppedrot
2012-08-08	Updating headers.	herbelin
2012-04-24	Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...	ppedrot
2012-04-23	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