New files.

1 files changed, 5 insertions, 0 deletions

diff --git a/NOTE b/NOTE
new file mode 100644
index 00000000..b21a5ef0
--- /dev/null
+++ b/NOTE
@@ -0,0 +1,5 @@
+=========================================================================
+|  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.                    |
+=========================================================================