diff options
| author | David Aspinall | 2000-07-20 16:50:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-07-20 16:50:40 +0000 |
| commit | ef60f314b15853e78f42a733e2dcbf679aed6755 (patch) | |
| tree | e02e7c1602db8d5316cf63e83c00957c5e04b228 | |
| parent | 80085467c40793aef82a3f344a815e8fcf3b2a93 (diff) | |
Note about need to test..
| -rw-r--r-- | etc/test-schedule.txt | 9 |
1 files changed, 9 insertions, 0 deletions
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. + + |