From b68a1c221020a3256eda081344d323b036500b3f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 5 Sep 2009 13:58:40 +0000
Subject: Deleted file

---
 THIS-IS-PG4 | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 THIS-IS-PG4

diff --git a/THIS-IS-PG4 b/THIS-IS-PG4
deleted file mode 100644
index 7b01a131..00000000
--- a/THIS-IS-PG4
+++ /dev/null
@@ -1,5 +0,0 @@
-*********************************************************************
-*** Warning: Proof General 4.0 only supports recent GNU Emacs     ***
-*********************************************************************
-
-For plans, see trac report: http://tinyurl.com/5em4x5
\ No newline at end of file
-- 
cgit v1.2.3