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