| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix broken commit 2bcb2cb. |  Guillaume Melquiond | 2014-04-28 |
| * | Fix incorrect syntax highlighting after the Goal command. | Guillaume Melquiond | 2014-04-28 |
| * | Fix syntax highlighting of "Implicit Arguments" for gtksourceview. | Guillaume Melquiond | 2014-03-02 |
| * | Ensure locality modifiers are properly highlighted in CoqIDE. | Guillaume Melquiond | 2013-12-03 |
| * | 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 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |