diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:38:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:38:40 +0000 |
commit | dbdedf9129d328ac78919a911e0684dd7152f1f4 (patch) | |
tree | f49705411e58759493f8a6ba855a9ac35a6bf3bf /generic/proof-useropts.el | |
parent | e5021238a2548c747906df479df8efd3fe3673ab (diff) |
Use parser cache by default.
Diffstat (limited to 'generic/proof-useropts.el')
-rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 6d4fde2a..1a141741 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -267,7 +267,7 @@ This is only useful for PG developers." :type 'boolean :group 'proof-user-options) -(defcustom proof-use-parser-cache nil +(defcustom proof-use-parser-cache t "*Non-nil to use a simple parsing cache. This can be helpful when editing and reprocessing large files. This variable exists to disable the cache in case of problems." |