From 840f589d751c08906ab6275c73c241167bb66214 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Jun 2000 15:27:29 +0000
Subject: Note about typing in shell buffer

---
 isar/todo | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/isar/todo b/isar/todo
index 22507b4f..f0be8852 100644
--- a/isar/todo
+++ b/isar/todo
@@ -14,7 +14,10 @@ Isabelle's pretty-printing subsystem);
 ** C tune behaviour of goals/response buffers (e.g. hide empty
 response buffers when using 2 buffer model);
 
-** C eliminate x-symbol-isar.el in favour of shared x-symbol-isabelle.el;
-
 ** D Combine with isa/ to get single Isabelle PG instance, somehow?
 Then users could use both proof languages in the same session.
+
+** D Fixup so that typing in shell buffer updates locked buffer status.
+It works in Isabelle/classic, why not here?  (But users shouldn't
+type in shell buffer, anyway).
+ 
-- 
cgit v1.2.3