From 9c92156557e6b71d3402824e91ff2ffc83565c98 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 8 Feb 2004 15:31:43 +0000
Subject: New files.

---
 IMPORTANT | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 IMPORTANT

diff --git a/IMPORTANT b/IMPORTANT
new file mode 100644
index 00000000..325d6f94
--- /dev/null
+++ b/IMPORTANT
@@ -0,0 +1,9 @@
+  IMPORTANT NOTE: Please note that proofgeneral.org is no longer owned
+  by the Proof General project; please update your links to use the
+  new web address http://proofgeneral.inf.ed.ac.uk.  
+
+  Report bugs, feedback, suggestions directly to me.  It helps if you
+  use an appropriate +-extension to my mail address, e.g.
+		
+	David Aspinall <da+pg-feedback@inf.ed.ac.uk>
+ 
-- 
cgit v1.2.3