path: root/etc/test-schedule.txt

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

$Id$

(in progress)