<table><tr><td style="">This revision was automatically updated to reflect the committed changes.<br />Closed by commit R216:6903aff4ef92: Agda: keywords updated to 2.6.0 and fix float points (authored by nibags, committed by cullmann).
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D27797">View Revision</a></tr></table><br /><div><strong>REPOSITORY</strong><div><div>R216 Syntax Highlighting</div></div></div><br /><div><strong>CHANGES SINCE LAST UPDATE</strong><div><a href="https://phabricator.kde.org/D27797?vs=76814&id=77175">https://phabricator.kde.org/D27797?vs=76814&id=77175</a></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D27797">https://phabricator.kde.org/D27797</a></div></div><br /><div><strong>AFFECTED FILES</strong><div><div>autotests/folding/test.agda.fold<br />
autotests/html/test.agda.html<br />
autotests/input/test.agda<br />
autotests/reference/test.agda.ref<br />
data/syntax/agda.xml</div></div></div><br /><div><strong>To: </strong>nibags, Framework: Syntax Highlighting, dhaumann, cullmann<br /><strong>Cc: </strong>kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann<br /></div>