From b8f93acd7cc8dec606a9fac6eba26abcc571d211 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Jan 2004 15:06:49 +0000
Subject: Add redirect for ~proofgen on zermelo.dcs

---
 html/.htaccess | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/html/.htaccess b/html/.htaccess
index 45e6575e..81c0ea37 100644
--- a/html/.htaccess
+++ b/html/.htaccess
@@ -1,2 +1,5 @@
 RemoveHandler .html
 AddType application/x-httpd-php .html
+# support old address of zermelo.dcs.ed.ac.uk/~proofgen
+Redirect /~proofgen http://proofgeneral.inf.ed.ac.uk/
+Redirect /home/proofgen http://proofgeneral.inf.ed.ac.uk/
-- 
cgit v1.2.3