From 29f6b9e091e896d98505a0aa62dcac13f8896343 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 15:44:53 +0000
Subject: Added proof-script-command-separator.  Needs work.

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

(limited to 'todo')

diff --git a/todo b/todo
index b4625739..f0e2e8e8 100644
--- a/todo
+++ b/todo
@@ -57,6 +57,9 @@ A Usability enhancement:
     - Fix asymmetry between "doing" and "undoing": doing will skip comments,
       undoing will not.  e.g. test case: (* tester *) intros; 
 
+A Usability enhancement:
+    - Fix proof-script-command-separator and proof-one-command-per-line flag.
+
 C Compatibility enhancement:
     - Consider sending comments to proof process after all.  They might
       contain special (e.g. LaTeX) directives or something.
-- 
cgit v1.2.3