diff options
Diffstat (limited to 'html/news.phtml')
-rw-r--r-- | html/news.phtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html/news.phtml b/html/news.phtml index 3043c556..f65562d5 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -2,7 +2,7 @@ <!-- da: Put this line in instead if you're not me --> <!-- <i>(News items entered by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a> --> <!-- unless noted.)</i> --> -<i>(News items by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>)</i> +<i>News items by <a href="http://www.dcs.ed.ac.uk/~da">David Aspinall</a>.</i> </p> <ul> @@ -12,7 +12,7 @@ Proof General 3.0 is released! </p> </ul> <p> -<i>(Click <a href="oldnews.phtml">here</a> for old news)</i> +<i>Click <a href="oldnews.phtml">here</a> for old news.</i> </p> |