From 07b99f41e7f7871c17f4912554b86eb098434838 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 11 May 2000 14:14:22 +0000
Subject: New file

---
 etc/test-schedule.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 etc/test-schedule.txt

diff --git a/etc/test-schedule.txt b/etc/test-schedule.txt
new file mode 100644
index 00000000..c88b0f32
--- /dev/null
+++ b/etc/test-schedule.txt
@@ -0,0 +1,10 @@
+Some test schedules for Proof General
+=====================================
+
+$Id$
+
+(in progress)
+
+
+
+
-- 
cgit v1.2.3