etc/test-schedule.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

Some test schedules for Proof General
=====================================

$Id$

(in progress)

--------------------

Desirable tests:

* Settings mechanism; PROOFGENERAL_ASSISTANTS vs .emacs and
  customize-set-variable, interaction with Isabelle startup
  scripts.