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 | |
parent | 78a79e474a3b647e4a32af760ceab3559f1abb5d (diff) |
Update for config 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 |