From ef60f314b15853e78f42a733e2dcbf679aed6755 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 20 Jul 2000 16:50:40 +0000
Subject: Note about need to test..

---
 etc/test-schedule.txt | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/etc/test-schedule.txt b/etc/test-schedule.txt
index c88b0f32..700cf5ca 100644
--- a/etc/test-schedule.txt
+++ b/etc/test-schedule.txt
@@ -5,6 +5,15 @@ $Id$
 
 (in progress)
 
+--------------------
+
+Desirable tests:
+
+* Settings mechanism; PROOFGENERAL_ASSISTANTS vs .emacs and
+  customize-set-variable, interaction with Isabelle startup
+  scripts.
+
+
 
 
 
-- 
cgit v1.2.3