From 59bdb9ac18f8f1e2a91a00cc73274acbfa8d9611 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Apr 2002 16:53:32 +0000
Subject: Fix URL for X-symbol

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

(limited to 'html/features.html')

diff --git a/html/features.html b/html/features.html
index 3fde03c4..a4aed865 100644
--- a/html/features.html
+++ b/html/features.html
@@ -118,7 +118,7 @@ proof assistant to add PBP support.")  ?>
   <dd>
   Proof General has a close integration with the
   powerful 
-  <a href="http://www.fmi.uni-passau.de/~wedler/x-symbol">X-Symbol</a>
+  <a href="http://x-symbol.sourceforge.net/">X-Symbol</a>
   package, which makes it easy to transparently use real symbols and
   Greek letters in your proofs.  
   <br> 
-- 
cgit v1.2.3