diff options
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |