diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 4e262243..7301879c 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -25,7 +25,7 @@ @c The following two commands start the copyright page. @page @vskip 0pt plus 1filll -Copyright @copyright{} 1997, 1998 LEGO Team, LFCS Edinburgh +Copyright @copyright{} 1997, 1998 Proof General team, LFCS Edinburgh @end titlepage @@ -38,13 +38,13 @@ It is supplied ready-customised for these proof assistants: @itemize @bullet @item -@b{LEGO Proof General} for LEGO Version 1.3.1 (full support)@* +@b{LEGO Proof General} for LEGO Version 1.3.1@* by Thomas Kleymann and Dilip Sequeira @item -@b{Coq Proof General} for Coq Version 6.2 (full support)@* +@b{Coq Proof General} for Coq Version 6.2@* by Healfdene Goguen @item -@b{Isabelle Proof General} for Isabelle (preliminary support)@* +@b{Isabelle Proof General} for Isabelle@* by David Aspinall @end itemize |