diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
commit | 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc (patch) | |
tree | 9be997d4d9af9c12882d53434d8dbbcb49cbdcb6 /generic/proof-useropts.el | |
parent | 0877b91645ec1a824eba51cf0ad46eb4d76a138f (diff) |
Checkdoc cleanups
Diffstat (limited to 'generic/proof-useropts.el')
-rw-r--r-- | generic/proof-useropts.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index be52f32f..7286f9a6 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -1,6 +1,6 @@ ;;; proof-useropts.el --- Global user options for Proof General ;; -;; Copyright (C) 2009 LFCS Edinburgh. +;; Copyright (C) 2009, 2010 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -274,10 +274,8 @@ This is only useful for PG developers." :type 'boolean :group 'proof-user-options) -;;; TEMPORARY FOR EXPERIMENTAL CODE: - (defcustom proof-use-parser-cache nil - "*Non-nil to use a simple parsing cache (experimental). + "*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." :type 'boolean |