From 31383206a65fb76024ff4ba62a2ee8173398dbcf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 11:34:05 +0000
Subject: Renamed file

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

diff --git a/README-3.6pre b/README-3.6pre
new file mode 100644
index 00000000..c5416a7b
--- /dev/null
+++ b/README-3.6pre
@@ -0,0 +1,15 @@
+This is a pre-release of version 3.6 of Proof General.
+
+We are working on improving Coq support of PG 3.5, including:
+
+  -- fixes to X-Symbol symbols
+  -- multiple file handling
+  -- automatic adjusting of line width
+
+There are other minor improvements to documentation, and some
+improvements for Isabelle, in particular to support additional features
+in the current CVS version of Isabelle.
+
+[da, 4/6/04].
+
+
diff --git a/README.3.5.1pre b/README.3.5.1pre
deleted file mode 100644
index 01a3f822..00000000
--- a/README.3.5.1pre
+++ /dev/null
@@ -1,16 +0,0 @@
-This is a pre-release of an update to version 3.5 of Proof General.
-
-We are working on improving Coq support for the advertised verison of
-PG 3.5, including:
-
-  -- fixes to X-Symbol symbols
-  -- multiple file handling
-  -- automatic adjusting of line width
-
-There are other minor improvements to documentation, and some
-improvements for Isabelle, in particular to support additional features
-in the current CVS version of Isabelle.
-
-[da, 4/6/04].
-
-
-- 
cgit v1.2.3