diff options
| author | David Aspinall | 2002-06-18 23:57:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-18 23:57:47 +0000 |
| commit | f0c8694b3e1f309015864fe93a16a8411c0d0f2b (patch) | |
| tree | c1409a61ca33381e9c06bc9c1409d6ee651c2a6d /html | |
| parent | 87b81000d9666c4ebd606d09fc52a5263dc56877 (diff) | |
Update Emacs versions
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.php | 36 |
1 files changed, 17 insertions, 19 deletions
diff --git a/html/develdownload.php b/html/develdownload.php index 74022fc1..71e23b66 100644 --- a/html/develdownload.php +++ b/html/develdownload.php @@ -1,8 +1,10 @@ +<!-- -*- html -*- --> <?php require('functions.php3'); small_header("Proof General Development Release"); ?> + <p> <a href="#prerel">Below</a> is the latest pre-release of Proof General, made available for those who wish to test the latest features or bug @@ -45,26 +47,22 @@ or <!-- WARNING! Line below automatically edited by makefile. --> <h2><a name="prerel">Pre-release: ProofGeneral-3.4pre020608</a></h2> -<p> -This version has been tested with XEmacs version 21.4 and -with GNU Emacs 21.1.1. XEmacs support is better tested. -Older releases of Emacs <i>may</i> work, but we recommend the use of -these or newer versions because backwards compatibility across -different Emacs versions is too difficult to support. If you cannot -upgrade your Emacs, consider using an -<a href="oldrel.php">older release</a> of Proof General. -</p> -<p> +<p> +This version has been tested with XEmacs version 21.4.8 and with GNU +Emacs 21.2.1. XEmacs support is better tested. Older releases of Emacs +<i>may</i> work, but we recommend the use of these or newer versions +because backwards compatibility across different Emacs versions is too +difficult to support. If you cannot upgrade your Emacs, consider +using an <a href="oldrel.php">older release</a> of Proof General. +</p> +<p> Check the -<!-- WARNING! Line below automatically edited by makefile. --> -<?php fileshow("ProofGeneral-3.4pre020608/CHANGES","CHANGES"); ?> file -<!-- End Warning. --> -for a summary of changes since the last stable version, and -notes about work-in-progress. -</p> -<table width="80%" cellspacing=8> -<tr> -<td width=150>gzip'ed tar file</td> +<!-- WARNING! Line below automatically edited by makefile. --> +<?php fileshow("ProofGeneral-3.4pre020608/CHANGES","CHANGES"); ?> file +<!-- End Warning. --> +for a summary of changes since the last stable +version, and notes about work-in-progress. </p> +<table width="80%" cellspacing=8> <tr> <td width=150>gzip'ed tar file</td> <!-- WARNING! Lines below automatically edited by makefile. --> <td><?php download_link("ProofGeneral-3.4pre020608.tar.gz") ?></td> </tr> |