diff options
Diffstat (limited to 'html/oldrel.php')
| -rw-r--r-- | html/oldrel.php | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/html/oldrel.php b/html/oldrel.php index 6d45372c..a5341061 100644 --- a/html/oldrel.php +++ b/html/oldrel.php @@ -10,7 +10,7 @@ Please note that we do not support these old releases in any way. <h2>Proof General Version 3.2, released 2nd October 2000</h2> <p> This version of Proof General has been tested -with XEmacs 21.1 and (briefly with) FSF Emacs 20.7. +with XEmacs 21.1 and (briefly) with GNU Emacs 20.7. It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99-1. </p> @@ -40,7 +40,7 @@ for a summary of changes since version 3.1. <p> This version of Proof General has been tested -with XEmacs 21.1 and FSF Emacs 20.4. +with XEmacs 21.1 and GNU Emacs 20.4. It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99. </p> @@ -70,7 +70,7 @@ for a summary of changes since version 3.0. <p> This version of Proof General has been tested -with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.<br> +with XEmacs 20.4, XEmacs 21.1.8 and GNU Emacs 20.5.<br> It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99. </p> <ul> @@ -95,7 +95,7 @@ for a summary of changes since version 2.1. <p> This version of Proof General has been tested -with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br> +with XEmacs 20.4, XEmacs 21 and GNU Emacs 20.3.<br> It supports Coq version 6.3, LEGO version 1.3.1 and some pre-release versions of Isabelle version 99. <ul> @@ -119,7 +119,7 @@ for a summary of changes since version 2.0. <p> This version of Proof General has been tested -with XEmacs 20.4 and FSF Emacs 20.2, 20.3.<br> +with XEmacs 20.4 and GNU Emacs 20.2, 20.3.<br> It supports Coq version 6.2, LEGO version 1.3.1, and Isabelle version 98-1.<br> </p> |