From 80bed3f302f77296fc8e82e24613b39fd543f240 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Aug 2003 23:52:47 +0000
Subject: Fix SML comment syntax oops

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index ffbc6583..81dd22ef 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -368,7 +368,7 @@
 
 ;; ----- variations on undo
 
-(defconst isar-undo "ProofGeneral.undo;")  (* no output undo *)
+(defconst isar-undo "ProofGeneral.undo;")  ;; no output undo 
 (defconst isar-kill "kill;")
 
 (defun isar-remove (name)
-- 
cgit v1.2.3