diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-21 10:24:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-21 10:24:33 +0000 |
| commit | a9c0b64fdefe336021b15c36c429554428c41945 (patch) | |
| tree | c32f5901860eb86543ee8527cc974f0cb18645b2 /doc/ProofGeneral.texi | |
| parent | 035b087912960fc4174a6fc197203e84f17d1451 (diff) | |
Isabelle version added
Diffstat (limited to 'doc/ProofGeneral.texi')
| -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 |