From a9d5eaf7d0b7a110802d8a5096baba46c2d065bc Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 20 Aug 1999 14:23:48 +0000
Subject: eliminated superficial ';'s;

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

diff --git a/isa/isa.el b/isa/isa.el
index 7964143a..82f23412 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -127,12 +127,12 @@ no regular or easily discernable structure."
    ;;
    proof-indent-commands-regexp	(proof-ids-to-regexp isa-keywords)
    
-   ;; proof engine commands (first three for menus, last for undo)
-   proof-prf-string		"pr();"
+   ;; proof engine commands
+   proof-prf-string		"pr()"
    proof-goal-command		"Goal \"%s\";"
    proof-save-command		"qed \"%s\";"
-   proof-ctxt-string		"ProofGeneral.show_context();"
-   proof-help-string		"ProofGeneral.help();"
+   proof-ctxt-string		"ProofGeneral.show_context()"
+   proof-help-string		"ProofGeneral.help()"
    proof-kill-goal-command	"ProofGeneral.kill_goal();"
    ;; command hooks
    proof-goal-command-p		'isa-goal-command-p
-- 
cgit v1.2.3