From fd6ec073875a92aa2687cb8ca697f87ec358e9dc Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:24:09 +0000
Subject: use-old-parser setting replaces use-new-parser setting [WARNING: big
 change]

---
 generic/proof-config.el | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'generic/proof-config.el')

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.
 
-- 
cgit v1.2.3