diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 09:37:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 09:37:20 +0000 |
| commit | 66c2143268db98df27b6fd629016e6871469bb90 (patch) | |
| tree | 1839dd0f50a1511c53ccab9dd4beb9689b2f4928 /CHANGES | |
| parent | d5a0b9024ec59523d0744efdceda30adff2a7969 (diff) | |
Updated
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -8,7 +8,9 @@ *** Font-lock based Unicode Tokens mode replaces X-Symbol -*** X-Symbol is no longer used or bundled - *** Removed configuration options proof-toolbar-use-button-enablers (now always enabled) + +*** Electric terminator configurable to not insert terminator + This is the default behaviour for Isar with electric terminator + (semicolon is more convenient than C-c C-RET or C-c C-n). |