From 30f57d1daa01cbb1f3716c8d2d4a354b2b8ec4fa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 12 Sep 2000 16:39:16 +0000
Subject: Add syntax config for block comments, and remove path from
 af2-prog-name.

---
 af2/af2.el | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'af2')

diff --git a/af2/af2.el b/af2/af2.el
index d2254466..b0c9314c 100644
--- a/af2/af2.el
+++ b/af2/af2.el
@@ -19,7 +19,7 @@
 ;;   ProofGeneral -> Internals -> Af2 config
 ;;
 
-(defcustom af2-prog-name "/home/raffalli/af2-all/af2/src/af2opt -pg"
+(defcustom af2-prog-name "af2 -pg"
   "*Name of program to run Af2."
   :type 'file
   :group 'af2)
@@ -393,7 +393,11 @@ send a delete command to af2 for the symbol whose name is under the cursor."
     "Af2 script" nil
     (af2-config)
     (af2-sym-lock-start)
-    (proof-config-done))
+    (proof-config-done)
+    ;; Configure syntax table for block comments
+    (modify-syntax-entry ?\* ". 23")
+    (modify-syntax-entry ?\( "()1")
+    (modify-syntax-entry ?\) ")(4"))
 
 (define-derived-mode af2-shell-mode proof-shell-mode
    "Af2 shell" nil
-- 
cgit v1.2.3