From 94c6cdc87ce296de4682940977b289d8f87a2e5e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Nov 1999 18:23:25 +0000
Subject: Fix X-Symbol name

---
 html/news.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/news.phtml b/html/news.phtml
index 8aa7dc11..5903850b 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -36,7 +36,7 @@ for Isabelle 99.
 </p>
 <p>
 Some recent changes have been made to the support for
-<a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-symbol</a>,
+<a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">X-Symbol</a>,
 so that it is easier to turn on and off, and support is now
 properly generic.  At the moment only Isabelle has 
 support implemented.
-- 
cgit v1.2.3