From 440fec0fec99a9d48bd9d0efc6b9efd9f3783a4b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2006 13:19:05 +0000
Subject: Updated.

---
 README-3.6pre | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'README-3.6pre')

diff --git a/README-3.6pre b/README-3.6pre
index 1316ee3e..38bc3e58 100644
--- a/README-3.6pre
+++ b/README-3.6pre
@@ -6,15 +6,6 @@ support additional features in Isabelle 2005.
 
 Compatibility has been improved for more Emacs versions.
 
-=============
-
-Things to do for 3.6 final:
-
- -- nuisance fix needed for docstring magic because of pruning of spaces 
-    from empty lines in all docstrings by Stefan Monnier (argh!)
- -- merge/fix of patch by Claire Quigley
- -- Coq updates check: symbols, linewidth, file handling
-
 
 [da, 10/8/05].
 
-- 
cgit v1.2.3