diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:26:42 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-11 00:26:42 +0000 |
| commit | f4abdf67e0996455b8ccbd1baa68bf64691d9c11 (patch) | |
| tree | 19794f0698e49e7e686ed86206309ec470883c4a /Makefile.devel | |
| parent | 7b644eb8ab07d04e2787e079e256ba21fd932958 (diff) | |
isar-set-undo-commands: prevent opening new script files calling proof-deactivate-scripting
Diffstat (limited to 'Makefile.devel')
0 files changed, 0 insertions, 0 deletions