jgm/highlighting-kate — pull request #52 by mcmtroffaes (2014-11-09 11:53:40+00:00)
Title: Merge upstream agda syntax file from ktexteditor.

See https://projects.kde.org/projects/frameworks/ktexteditor/repository/revisions/master/entry/src/syntax/data/agda.xml