From a242ea62f3eb243be49662d97bcd258868a496af Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 29 May 2000 18:50:10 +0000
Subject: Docstring

---
 isa/isa-syntax.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index c1c229d1..87f8dfaf 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -286,6 +286,7 @@
     "^Variables:$"
     "^Constants:$"
     "\\s-*[0-9][0-9]?\\. ")
-   isa-output-font-lock-keywords-1))
+   isa-output-font-lock-keywords-1)
+  "*Font-lock table for Isabelle goals output.")
 
 (provide 'isa-syntax)
-- 
cgit v1.2.3