This revision was automatically updated to reflect the committed changes. Closed by commit R216:6903aff4ef92: Agda: keywords updated to 2.6.0 and fix float points (authored by nibags, committed by cullmann).
REPOSITORY R216 Syntax Highlighting CHANGES SINCE LAST UPDATE https://phabricator.kde.org/D27797?vs=76814&id=77175 REVISION DETAIL https://phabricator.kde.org/D27797 AFFECTED FILES autotests/folding/test.agda.fold autotests/html/test.agda.html autotests/input/test.agda autotests/reference/test.agda.ref data/syntax/agda.xml To: nibags, #framework_syntax_highlighting, dhaumann, cullmann Cc: kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann
