diff options
| author | David Aspinall | 2004-04-17 17:46:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 17:46:31 +0000 |
| commit | 935b23872eb7309b81acfa2a5a9fca8501cfca0c (patch) | |
| tree | 9b31f77048bc7826966a5ae24ab40a887c580f60 /generic/proof-utils.el | |
| parent | ca7b3b3ef605021ab66e1928d7bed897fb2ea697 (diff) | |
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files for Isabelle.
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions