1 files changed, 4 insertions, 0 deletions

diff --git a/FUTURE b/FUTURE
new file mode 100644
index 00000000..a97523c5
--- /dev/null
+++ b/FUTURE
@@ -0,0 +1,4 @@
+*********************************************************************
+*** Warning: Proof General 4.0 will only support recent GNU Emacs ***
+*** Please switch from using XEmacs and older versions now!       ***
+*********************************************************************
\ No newline at end of file