diff options
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 |