equal
deleted
inserted
replaced
82 * Highlighting of entity def/ref positions wrt. cursor. |
82 * Highlighting of entity def/ref positions wrt. cursor. |
83 |
83 |
84 * Refined folding mode "isabelle" based on Isar syntax: 'next' and 'qed' |
84 * Refined folding mode "isabelle" based on Isar syntax: 'next' and 'qed' |
85 are treated as delimiters for fold structure; 'begin' and 'end' |
85 are treated as delimiters for fold structure; 'begin' and 'end' |
86 structure of theory specifications is treated as well. |
86 structure of theory specifications is treated as well. |
|
87 |
|
88 * Sidekick parser "isabelle-context" shows nesting of context blocks |
|
89 according to 'begin' and 'end' structure. |
87 |
90 |
88 * Syntactic indentation according to Isabelle outer syntax. Action |
91 * Syntactic indentation according to Isabelle outer syntax. Action |
89 "indent-lines" (shortcut C+i) indents the current line according to |
92 "indent-lines" (shortcut C+i) indents the current line according to |
90 command keywords and some command substructure. Action |
93 command keywords and some command substructure. Action |
91 "isabelle.newline" (shortcut ENTER) indents the old and the new line |
94 "isabelle.newline" (shortcut ENTER) indents the old and the new line |