From 15045a394f2b374ffe3e687db3d0ee4de3848ee6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Feb 2007 12:15:43 +0000
Subject: Renamed file

---
 README-3.6pre | 16 ----------------
 README-3.7pre | 16 ++++++++++++++++
 2 files changed, 16 insertions(+), 16 deletions(-)
 delete mode 100644 README-3.6pre
 create mode 100644 README-3.7pre

diff --git a/README-3.6pre b/README-3.6pre
deleted file mode 100644
index 0de9bdb9..00000000
--- a/README-3.6pre
+++ /dev/null
@@ -1,16 +0,0 @@
-This is a pre-release of version 3.6 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, 10/8/05].
-
-
diff --git a/README-3.7pre b/README-3.7pre
new file mode 100644
index 00000000..8e1e6501
--- /dev/null
+++ b/README-3.7pre
@@ -0,0 +1,16 @@
+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].
+
+
-- 
cgit v1.2.3