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

Christoph Cullmann <[email protected]> Sat, 7 Mar 2020 16:12:31 +0000

Newsgroups	gmane.comp.kde.devel.frameworks,gmane.comp.kde.devel.kwrite
Message-ID	<[email protected]>

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