From 76b7012bb8563382e3d78c464cb16e3f308fb43a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Mar 2005 15:11:35 +0000
Subject: Updated.

---
 TODO.developer | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'TODO.developer')

diff --git a/TODO.developer b/TODO.developer
index 52c1e245..4e1dfa82 100644
--- a/TODO.developer
+++ b/TODO.developer
@@ -23,6 +23,9 @@ This is an outline file.   Use C-c C-n, C-c C-p or menu to navigate.
 ** Multiple file handling
 ** Automatic adjustment of line width
 
+* Docstring magic fixups
+** Some missing files
+** Isabelle classic remove?
 
 =================================================================
 
-- 
cgit v1.2.3