| changeset 63463 | b6a1047bc164 |
| parent 63456 | 3365c8ec67bd |
| parent 63461 | f10feaa9b14a |
| child 63474 | f66e3c3b0fb1 |
--- a/NEWS Tue Jul 12 13:55:35 2016 +0200 +++ b/NEWS Tue Jul 12 16:04:19 2016 +0200 @@ -76,6 +76,9 @@ * Highlighting of entity def/ref positions wrt. cursor. +* Refined folding mode "isabelle" based on Isar syntax: 'next' and 'qed' +are treated as delimiters for fold structure. + * Improved support for indentation according to Isabelle outer syntax. Action "indent-lines" (shortcut C+i) indents the current line according to command keywords and some command substructure. Action