aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Command.mli
Commit message (Expand)AuthorAge
* coqide: queries from the query window are routed there (fix #5684)Gravatar Enrico Tassi2018-03-08
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [ide] Set Stateid in query pane.Gravatar Emilio Jesus Gallego Arias2017-04-20
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Switching to an event-based mechanism for CoqIDE preferences.Gravatar Pierre-Marie Pédrot2015-08-31
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* wg_Detachable: move out of wg_CommandGravatar gareuselesinge2013-10-22
* wg_Command: detachable, less "from the 80s", query paneGravatar gareuselesinge2013-09-30
* Modulification and removing of structural equality in Stateid.Gravatar ppedrot2013-08-19
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Updating headers.Gravatar herbelin2012-08-08
* Heavily rewritten the coqtop management process of coqide. The coqtopGravatar ppedrot2012-05-13
* Removed the useless use of a reference in preference handling.Gravatar ppedrot2012-05-02
* Cleaning up widget code and using a naming convention for such files.Gravatar ppedrot2012-04-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 06:36:36 +0000