diff options
| -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. + + |