aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq_style.xml
Commit message (Expand)AuthorAge
* Coqide highligthing is back (done by gtksourceview).Gravatar pboutill2012-05-02