coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Update headers following #6543.	Théo Zimmermann	2018-02-27
\|
*	Set detachable windows type hint to dialog.	Olivier Marty	2017-08-08
\| \| \| \| \|	Windows such as Search & Replace are dialogs. For some window managers, the hint changes how the window is displayed.
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Use [method!] to override methods (warning 7)	Gaetan Gilbert	2017-04-27
\|
*	Update copyright headers.	Maxime Dénès	2016-01-20
\|
*	Update headers.	Maxime Dénès	2015-01-12
\|
*	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot	2014-04-07
\|
*	CoqIDE: detachable message/error/jobs panes	Enrico Tassi	2014-03-12
\|
*	wg_Detachable: move out of wg_Command	gareuselesinge	2013-10-22
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16903 85f007b7-540e-0410-9357-904b9bb8a0f7