Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Coqide ported to STM | gareuselesinge | 2013-08-08 |
* | Coqide Fix highlighting of Extraction, Import, Variables | pboutill | 2012-09-04 |
* | Better highlighting of strings in coqide. | aspiwack | 2012-08-24 |
* | Fixes bug #2857. | aspiwack | 2012-08-10 |
* | Coqide highligthing is back (done by gtksourceview). | pboutill | 2012-05-02 |