diff options
| author | David Aspinall | 1999-08-20 16:25:46 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-20 16:25:46 +0000 |
| commit | f492a2622fb1f8136090f41279fc9ba57f01a5f9 (patch) | |
| tree | 206114758cfebd94fa7a2d9fea3ee2fc45518095 /html/news.phtml | |
| parent | f51655d8d1026d3f83300a4b44ede08cabcce5fe (diff) | |
Tweaks for 2.1 release
Diffstat (limited to 'html/news.phtml')
| -rw-r--r-- | html/news.phtml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/html/news.phtml b/html/news.phtml index 1ef2189d..09b5eb28 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -9,8 +9,9 @@ </p> <p> It is recommended that all users upgrade except - those still using Isabelle 98-1. Proof General 2.1 - only supports Isabelle 99. + those still using Isabelle 98-1. + <br> + Proof General 2.1 supports only the 99 version of Isabelle. </p> </li> |