aboutsummaryrefslogtreecommitdiff
path: root/html
diff options
context:
space:
mode:
authorDavid Aspinall1999-10-21 18:21:16 +0000
committerDavid Aspinall1999-10-21 18:21:16 +0000
commit0ff32e8f48ac88d991df4c25e7ce12c0c0119565 (patch)
treee4f8266e5a7d7f77d86b0aa1fb046d36a5071a0b /html
parent67e0cc01492d7b5be16fa6f8621760818c043844 (diff)
Typo.
Diffstat (limited to 'html')
-rw-r--r--html/news.phtml2
1 files changed, 1 insertions, 1 deletions
diff --git a/html/news.phtml b/html/news.phtml
index a19189d1..9daad9a3 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -7,7 +7,7 @@
<li><b>21st October 1999</b><br>
<p>
See what Proof General 3.0 will look like!
- The <a href="screenshot.phtml>screenshot</a> has been updated.
+ The <a href="screenshot.phtml">screenshot</a> has been updated.
</p>
<li><b>14th October 1999</b><br>
<p>