From 385e6f2309b0bb7e3eac68ec7e8da449e5fc77ef Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 25 Oct 1999 13:04:22 +0000
Subject: Trivial tests for auto multiple files.

---
 etc/coq/multiple/README | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 etc/coq/multiple/README

(limited to 'etc/coq/multiple/README')

diff --git a/etc/coq/multiple/README b/etc/coq/multiple/README
new file mode 100644
index 00000000..6262021a
--- /dev/null
+++ b/etc/coq/multiple/README
@@ -0,0 +1,8 @@
+Quick test for automatic multiple files:
+
+Process a.v, b.v, c.v in turn.
+
+Undo in b.v
+
+Should automatically unlock c.v.
+
-- 
cgit v1.2.3