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

$Id$

(in progress)