From ebd3b16b3f00ff8fc7efc05e0fe5a37476bddbc8 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Thu, 15 Oct 1998 14:18:03 +0000
Subject: *** empty log message ***

---
 todo | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/todo b/todo
index 1cde1998..2a962e4b 100644
--- a/todo
+++ b/todo
@@ -424,15 +424,20 @@ D Add ability to choose logic.  Maybe not necessary: can use default
   user-saved databases.
   (ponder this)
 
+X New features ideas:
+   1. Manage multiple proofs (markers in possibly different buffers)
+	 
 B Set wakeup-char by using Isabelle's ml-prompts function.
 
 X Add Isabelle logo to splash screen.  (30 mins)
 
+* FSF Emacs
+===========
 
-	 
-
-* Emacs19
-=========
+B According to the documentation of font-lock for Emacs 20.2, it
+  should suffice to set (add-hook 'lego-mode-hook 'turn-on-font-lock)
+  but this doesn't seem to work. Perhaps define-derived-mode doesn't
+  set up lego-mode correctly? (1h)
 
 
 * Release
-- 
cgit v1.2.3