coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Fix omitted labels in function calls	Gaetan Gilbert	2017-04-27
\|
*	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
\| \| \| \| \| \|	It uses Str, hence it also supports captures \(..\) and \1 .. \n git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16904 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
\| \| \| \| \| \|	I hope I did not forget any place to change. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16423 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Cosmetic changes to CoqIDE finder widget.	ppedrot	2013-02-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16237 85f007b7-540e-0410-9357-904b9bb8a0f7
*	CoqIDE: Adding escape reaction to replace widget	ppedrot	2013-02-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16202 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16148 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixup last commit	ppedrot	2013-01-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16144 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Hugo request: CoqIDE find on enter	ppedrot	2013-01-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16143 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Coqide: use labels for all labelled functions	letouzey	2012-12-08
\| \| \| \| \| \| \| \|	This isn't mandatory, but it's a good practice. For instance it allows to easily locate all ~callback arguments. Cf. warning 6 of OCaml 4 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16051 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15781 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15779 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Updating headers.	herbelin	2012-08-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Removed a unused and troublesome feature in CoqIDE that handled shortcuts ↵	ppedrot	2012-04-24
\| \| \| \| \| \|	the old way. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15244 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All ↵	ppedrot	2012-04-23
\| \| \| \| \| \|	was used with a self-contained replacement. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15237 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Cleaning a bit previous commit	ppedrot	2012-04-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15235 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ↵	ppedrot	2012-04-23
	code that used to serve as such a long time ago. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15234 85f007b7-540e-0410-9357-904b9bb8a0f7