diff options
| author | David Aspinall | 2002-06-24 09:24:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-24 09:24:09 +0000 |
| commit | fd6ec073875a92aa2687cb8ca697f87ec358e9dc (patch) | |
| tree | 7b04cadf24e51395e5477552cf2166c345a589a4 /generic/proof-config.el | |
| parent | 3e903c0da887b13dda7652b8f9b806191762f5e5 (diff) | |
use-old-parser setting replaces use-new-parser setting [WARNING: big change]
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index e35ef0a9..c8dac4ac 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -844,15 +844,6 @@ or `proof-script-parse-function'." :group 'prover-config) -(defcustom proof-script-use-new-parser nil - "Whether to use the new parsing mechanism, based on `proof-script-parse-function'. -This is a stop-gap option in Proof General 3.2 added because -the parsing functions went through several iterations and the final -(but best) iteration was little tested." - :type 'boolean - :group 'prover-config) - - (defcustom proof-script-integral-proofs nil "Whether the complete text after a goal confines the actual proof. |