From dad83c7b9cfe214e54efb8739a1a8f49d5cbb3be Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 24 Apr 2004 11:03:09 +0000
Subject: New files.

---
 README.3.5.1pre | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 README.3.5.1pre

diff --git a/README.3.5.1pre b/README.3.5.1pre
new file mode 100644
index 00000000..d4647d0d
--- /dev/null
+++ b/README.3.5.1pre
@@ -0,0 +1,14 @@
+This is a pre-release of an update to version 3.5 of Proof General.
+
+We are working on improving Coq support for the final version 
+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.
+	
+[da, 24/4/04].
+
+
-- 
cgit v1.2.3