Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |