From 0bb2df932579cf7199078ef8083e0bdd7ed7aba7 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 3 Sep 1998 15:25:27 +0000
Subject: Requirement for test script added

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

diff --git a/todo b/todo
index 4dfcf878..2f09cdc9 100644
--- a/todo
+++ b/todo
@@ -9,6 +9,10 @@ C (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A Add a small script "example.l" etc to each of the prover subdirectories,
+  for testing/example purposes.  (Perhaps proving the same thing?
+  commutativity of conjunction?)
+
 B Prune dead code.  (1h)
 
 B Add support to proof.el for *not* setting variables for
-- 
cgit v1.2.3