diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 14:28:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-08 14:28:21 +0000 |
commit | 32ebebb0ed73f11aa9dd55ec0859a0e3757253b9 (patch) | |
tree | 629046ed5f02592147a85743e0c459f14f4ddf2b /etc/coq | |
parent | 9f683435bcdd0226a30bc18003099910c8fae9bc (diff) |
Updated multiple file notes.
Diffstat (limited to 'etc/coq')
-rw-r--r-- | etc/coq/multiple/README | 17 |
1 files changed, 15 insertions, 2 deletions
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 + + |