From 32ebebb0ed73f11aa9dd55ec0859a0e3757253b9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 8 Nov 1999 14:28:21 +0000
Subject: Updated multiple file notes.

---
 etc/coq/multiple/README | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'etc/coq')

diff --git a/etc/coq/multiple/README b/etc/coq/multiple/README
index 6262021a..b5eab177 100644
--- a/etc/coq/multiple/README
+++ b/etc/coq/multiple/README
@@ -1,8 +1,21 @@
 Quick test for automatic multiple files:
 
-Process a.v, b.v, c.v in turn.
 
-Undo in b.v
+------
+
+1.
 
+Process a.v, b.v, c.v in turn.
+Undo in b.v
 Should automatically unlock c.v.
 
+
+------
+
+2. 
+
+Process as before.  
+Delete buffer b.v.
+Retract in a.v
+
+
-- 
cgit v1.2.3