From 4dfaa3700086d0cb6c9d8518dac894e58fa7f7a9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Jul 2002 23:09:27 +0000
Subject: Fix typo.

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 53d48110..f6c32da8 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -413,7 +413,7 @@ until Proof General is restarted."
   "Convert identifier markup to subterm markup.
 This is a hook setting for `pg-before-subterm-markup-hook' to
 enable identifiers to be highlighted.  (To disable that behaviour,
-the `pg-remove-specials' can be used instead)."
+the function `pg-remove-specials' can be used instead)."
   (goto-char (point-min))
   (while (re-search-forward 
 	  "\351\\|\352\\|\353\\|\354\\|\355\\|\356\\|\357" nil t)
-- 
cgit v1.2.3