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 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 README-3.6pre

(limited to 'README-3.6pre')

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].
-
-
-- 
cgit v1.2.3