From 4afd3c45883bd424028ef8dd341d34cf2df8f1e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Dec 2000 18:53:29 +0000
Subject: Updated to use Require commands

---
 etc/coq/multiple/README | 24 ++++--------------------
 1 file changed, 4 insertions(+), 20 deletions(-)

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

diff --git a/etc/coq/multiple/README b/etc/coq/multiple/README
index b5eab177..03587134 100644
--- a/etc/coq/multiple/README
+++ b/etc/coq/multiple/README
@@ -1,21 +1,5 @@
-Quick test for automatic multiple files:
-
-
-------
-
-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
-
+New in 3.3: experimental proper handling of multiple files.
+  Not expected to be robust, see comments in coq.el
+  Should be improved for Coq 7, I hope!
+  Test also for automatic compilation.
 
-- 
cgit v1.2.3