From a9c0b64fdefe336021b15c36c429554428c41945 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Oct 1998 10:24:33 +0000
Subject: Isabelle version added

---
 doc/ProofGeneral.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index eb3099d8..0b97e197 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -52,7 +52,7 @@ by Thomas Kleymann and Dilip Sequeira
 @b{Coq Proof General} for Coq Version 6.2@*
 by Healfdene Goguen
 @item 
-@b{Isabelle Proof General} for Isabelle@*
+@b{Isabelle Proof General} for Isabelle 98-1@*
 by David Aspinall
 @end itemize
 
-- 
cgit v1.2.3