blob: be06a076184369c8bdc1e36914ca61db5bd6b626 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
This is a test for automatic multiple file handling.
Assert each of A.ML, B.ML, C.ML, D.ML in turn.
Then retract B.ML.
D.ML and C.ML should be automatically retracted.
Set proof-tidy-response=nil to track what happens.
- da.
|