D27797: Agda: keywords updated to 2.6.0 and fix float points

[Christoph Cullmann]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-frameworks-devel/attachments/20200307/702199b5/attachment.html>