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.