diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-11 14:14:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-11 14:14:22 +0000 |
commit | 07b99f41e7f7871c17f4912554b86eb098434838 (patch) | |
tree | 19be3f36fec07754b693c3997babee975678bc42 /etc | |
parent | 73358744b37293cea04fcf0c29a127aba7d654f2 (diff) |
New file
Diffstat (limited to 'etc')
-rw-r--r-- | etc/test-schedule.txt | 10 |
1 files changed, 10 insertions, 0 deletions
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) + + + + |