diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-13 11:47:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-13 11:47:45 +0000 |
| commit | c5b686a1c2d7d3539e7c67292c7f5d21b4810296 (patch) | |
| tree | 622b1ba92760d43602e88457db2bc6e6e3bd451f /CHANGES | |
| parent | 78a79e474a3b647e4a32af760ceab3559f1abb5d (diff) | |
Update for config changes.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -5,6 +5,11 @@ ** Generic changes *** Parsing now uses cache by default (proof-use-parser-cache=t). + Speeds up undo/redo in long buffers if no edits are made. + +** Isabelle changes + +*** Unicode tokens enabled by default |