diff options
| author | David Aspinall | 1999-11-17 21:32:54 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 21:32:54 +0000 |
| commit | dbe1abdd4e827aa61e3b5ee4eeda9b5e1cc9ae3c (patch) | |
| tree | efe8bf84a98a9de6ff79eccf2b4a804a317642e8 /html/download.phtml | |
| parent | e9810344a33d604d78fb487ef3e09a04a85a1bfd (diff) | |
Tweaks
Diffstat (limited to 'html/download.phtml')
| -rw-r--r-- | html/download.phtml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/html/download.phtml b/html/download.phtml index 81354503..c446cce6 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -22,12 +22,9 @@ Proof General Developers and beta-testers may like to download a <a href="devel.phtml">development release</a> of Proof General. -</p> - -<p> -If you are using an older version of a proof assistant, -you may wish to check the -<a href="oldrel.phtml">previous releases</a> of Proof General. +If you use an old version of a proof assistant, +you may need to download one of the +<a href="oldrel.phtml">previous releases</a>. </p> <hr> |