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.