diff options
| author | David Aspinall | 1999-07-03 17:33:19 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-07-03 17:33:19 +0000 |
| commit | 113052b13e29a67b4fe4221e8bf772ad813ebfb7 (patch) | |
| tree | 4ba60917ae7f04b5037b1d86ebe3acf50240f10c /html/download.phtml | |
| parent | 7e68d347a1c2a5e26b10b2225d4dfda5a3e0ca77 (diff) | |
Tweaks and validation fixes.
Diffstat (limited to 'html/download.phtml')
| -rw-r--r-- | html/download.phtml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/html/download.phtml b/html/download.phtml index c15dc3c5..60c30d9f 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -25,7 +25,10 @@ stable release, <hr> -<a name="stable"><h2>Proof General Version 2.0, released 16 December 1998</h2></a> +<h2><a name="stable"> + Proof General Version 2.0, released 16 December 1998 + </a> +</h2> <p> This version of Proof General has been tested |