From d49ff1f08b8272f844433336adb30e71b3913629 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 15:17:59 +0000
Subject: Putative enhancements mentioned.

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

diff --git a/todo b/todo
index 7a0b58ce..b4625739 100644
--- a/todo
+++ b/todo
@@ -53,6 +53,14 @@ A Pending work, in progress [da]:
     - investigate bug fix for vacuous locked regions
     - document proof-copy-span (new name for proof-send-span, re-enabled).
 
+A Usability enhancement:
+    - Fix asymmetry between "doing" and "undoing": doing will skip comments,
+      undoing will not.  e.g. test case: (* tester *) intros; 
+
+C Compatibility enhancement:
+    - Consider sending comments to proof process after all.  They might
+      contain special (e.g. LaTeX) directives or something.
+
 A Usability enhancement:
    Enable toolbar in other buffers.  Should switch to active
    scripting buffer first if it is non current.
-- 
cgit v1.2.3