diff options
| author | David Aspinall | 2004-04-17 17:41:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 17:41:06 +0000 |
| commit | 69e7264621d7d213fcd27f9c63143e9817ea0d6d (patch) | |
| tree | 8a992e4c205b1da864b917b008b505ff234be832 /pgshell/example.pgsh | |
| parent | f5ac02c634619c6eabb355d0e8f96f3c18ce2cd2 (diff) | |
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files for Isabelle.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions