aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Detachable.ml
Commit message (Collapse)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|
* Set detachable windows type hint to dialog.Gravatar Olivier Marty2017-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.Gravatar Pierre-Marie Pédrot2017-07-04
|
* Use [method!] to override methods (warning 7)Gravatar Gaetan Gilbert2017-04-27
|
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
|
* Update headers.Gravatar Maxime Dénès2015-01-12
|
* Allowing proof view to be detached in CoqIDE.Gravatar Pierre-Marie Pédrot2014-04-07
|
* CoqIDE: detachable message/error/jobs panesGravatar Enrico Tassi2014-03-12
|
* wg_Detachable: move out of wg_CommandGravatar gareuselesinge2013-10-22
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16903 85f007b7-540e-0410-9357-904b9bb8a0f7