Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'v8.5' | 2016-01-21 | |
|\ | |||
| * | Update copyright headers. | 2016-01-20 | |
* | | Switching to an event-based mechanism for CoqIDE preferences. | 2015-08-31 | |
* | | Using the new preference mechanism for colors in CoqIDE. | 2015-08-16 | |
|/ | |||
* | Update headers. | 2015-01-12 | |
* | wg_Detachable: move out of wg_Command | 2013-10-22 | |
* | wg_Command: detachable, less "from the 80s", query pane | 2013-09-30 | |
* | Modulification and removing of structural equality in Stateid. | 2013-08-19 | |
* | Coqide ported to STM | 2013-08-08 | |
* | Updating headers. | 2012-08-08 | |
* | Heavily rewritten the coqtop management process of coqide. The coqtop | 2012-05-13 | |
* | Removed the useless use of a reference in preference handling. | 2012-05-02 | |
* | Cleaning up widget code and using a naming convention for such files. | 2012-04-20 |