From 36fec1c03a7820690e4fb31310a2be6d50eeb5b9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Oct 1998 12:19:51 +0000
Subject: Added some items suggested by Markus Wenzel.

---
 todo | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/todo b/todo
index b346b287..99a8d31b 100644
--- a/todo
+++ b/todo
@@ -249,6 +249,9 @@ X Oddity in RPM build: reports
 	 /var/tmp/rpm-tmp.65808: line 29: 30875 Broken pipe             /bin/gzip -dc /tmp/ProofGeneral-rpm/SOURCES/ProofGeneral-2.0pre981012.tar.gz
   Why?  It still seems okay otherwise.
 
+X Support a history of proof commands, with a "redo" command to
+  redo undo-to-point or sequences of toolbar undo's.
+
 X Support for x-symbols package.
   Provers with sophisticated/configurable syntax should tell Emacs
   about their syntax somehow, rather than trying to duplicate
@@ -406,8 +409,11 @@ 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)
+
+
 	 
 
 * Emacs19
-- 
cgit v1.2.3