diff options
| author | David Aspinall | 1998-09-24 15:00:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:00:09 +0000 |
| commit | 89044ea6580b20b7abf7f9ea6a0fed67a4b310e7 (patch) | |
| tree | 5f144550337ec2259a2492fe30be09b9791296d7 | |
| parent | d3cd25b986ff63b91a4142ee4da201ea893d1eaf (diff) | |
Removed lego email address, support level notes.
| -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 |