From 556c5d6c6218ea882de659362bee76a1e5a57987 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 10 Nov 1998 18:07:17 +0000
Subject: Added X idea for using indirect buffers.

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

diff --git a/todo b/todo
index 8638131c..5b157050 100644
--- a/todo
+++ b/todo
@@ -353,6 +353,14 @@ X proof-mark-buffer-atomic marks the buffer as only containing
   comments if the first ACS is a goal-save span. This is however not a 
   problem for LEGO and Isabelle. (30 min)
 
+X Idea for future re-engineering:
+   Indirect Buffers seem to be a cunning way
+   to implement the response buffer and goals buffer, since they're
+   basically variants on displaying fragments of the shell buffer
+   output. Unfortunately seems to be implemented only in FSFmacs at the
+   moment.
+
+
 * Proof-by-Pointing
 ===================
 
-- 
cgit v1.2.3