From f82f7299712ebce913866abecbedb9d0b3e3600e Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 14 Jul 2002 13:13:16 +0000
Subject: Remove use new parser

---
 twelf/twelf.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'twelf')

diff --git a/twelf/twelf.el b/twelf/twelf.el
index 8f79509b..2285b975 100644
--- a/twelf/twelf.el
+++ b/twelf/twelf.el
@@ -41,7 +41,6 @@
  proof-prog-name		 "twelf-server"
  proof-assistant-home-page       "http://www.cs.cmu.edu/~twelf/"
 
- proof-script-use-new-parser t          ;; FIXME: remove for PG 3.3
  proof-terminal-char             ?\.
  proof-comment-start             "%"	;; for inserting comments
  proof-comment-end               ""
-- 
cgit v1.2.3