From 3755be3e6ef42fb70d4d0dffdcd41bdc10385b7c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 30 May 2000 15:46:52 +0000
Subject: Added missing command terminators for proof-xsym commands

---
 isa/isa.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/isa/isa.el b/isa/isa.el
index c1e3dcd9..92075ccd 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -622,8 +622,8 @@ you will be asked to retract the file or process the remainder of it."
       ;; fontification for tokens themselves  (FIXME: broken)
       '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face)))
       proof-xsym-activate-command
-      "print_mode := ([\"xsymbols\",\"symbols\"] @ ! print_mode)"
+      "print_mode := ([\"xsymbols\",\"symbols\"] @ ! print_mode);"
       proof-xsym-deactivate-command
-      "print_mode := (! print_mode \\\\ [\"xsymbols\",\"symbols\"])")
+      "print_mode := (! print_mode \\\\ [\"xsymbols\",\"symbols\"]);")
 
 (provide 'isa)
-- 
cgit v1.2.3