etc/coq/multiple/README


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

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