diff options
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 + + |