coq - The formal proof system

Age	Commit message (Collapse)	Author
2020-06-02	Move CoqIDE to its own folder	Maxime Dénès
	The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
2020-04-12	CoqIDE completion: Relying on INSERT mark of the buffer.	Hugo Herbelin
	The iterator of the completion context does not seem trustable.
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
	Add headers to a few files which were missing them.
2020-01-16	Hacking a completion widget based on the default GtkSourceView one.	Pierre-Marie Pédrot

2019-06-17	Update ml-style headers to new year.	Théo Zimmermann

2018-02-27	Update headers following #6543.	Théo Zimmermann

2017-07-04	Bump year in headers.	Pierre-Marie Pédrot

2016-01-20	Update copyright headers.	Maxime Dénès

2015-01-12	Update headers.	Maxime Dénès

2013-03-19	Using ML signalling in CoqIDE	ppedrot
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16322 85f007b7-540e-0410-9357-904b9bb8a0f7
2013-02-20	CoqIDE: Including autocompletion in word proposals	ppedrot
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16227 85f007b7-540e-0410-9357-904b9bb8a0f7
2013-02-20	Adding scrollbars to CoqIDE autocompletion	ppedrot
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16224 85f007b7-540e-0410-9357-904b9bb8a0f7
2013-02-19	New autocompletion mechanism in CoqIDE. Now provides many answers	ppedrot
	through a popup. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16223 85f007b7-540e-0410-9357-904b9bb8a0f7