From 676c801b1b80cbb07a5e9f837c8e3e5c713813d2 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 23 Aug 1999 18:12:04 +0000
Subject: fixed comment;

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

diff --git a/isa/isa.el b/isa/isa.el
index 150e72bd..892506e0 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -611,7 +611,7 @@ Resulting output from Isabelle will be parsed by Proof General."
   (proof-response-config-done))
 
 (defun isa-pbp-mode-config ()
-  ;; FIXME: next too broken, of course, as is all PBP everywhere.
+  ;; FIXME: next two broken, of course, as is all PBP everywhere.
   (setq pbp-change-goal "Show %s.")	
   (setq pbp-error-regexp proof-shell-error-regexp)
   (isa-init-output-syntax-table)
-- 
cgit v1.2.3