From 41ad6a62cacfd16784875b5f68f1f823503fe94e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 15:45:29 +0000
Subject: Deleted file

---
 README-3.7pre | 16 ----------------
 coq/CHANGES   |  9 ---------
 2 files changed, 25 deletions(-)
 delete mode 100644 README-3.7pre
 delete mode 100644 coq/CHANGES

diff --git a/README-3.7pre b/README-3.7pre
deleted file mode 100644
index 8e1e6501..00000000
--- a/README-3.7pre
+++ /dev/null
@@ -1,16 +0,0 @@
-This is a pre-release of version 3.7 of Proof General.
-
-There are improvements to Coq support, minor improvements to
-documentation, and some improvements for Isabelle, in particular to
-support additional features in Isabelle 2005.
-
-Compatibility has been improved for more Emacs versions across
-different operating systems.
-
-Support for Unicode-safe interaction modes has been added (i.e.,
-not using Unicode-prefix characters as specials).
-
-
-[da, 3/1/07].
-
-
diff --git a/coq/CHANGES b/coq/CHANGES
deleted file mode 100644
index bf2b9a2a..00000000
--- a/coq/CHANGES
+++ /dev/null
@@ -1,9 +0,0 @@
--*- outline -*-
-
-* Summary of Changes since pg 3.6
-
-** Adapted error highlighting to x-symbol
-
-** Response windows shrinking to fit in three window mode
-
-** Outline mode cleaner
-- 
cgit v1.2.3