diff options
| author | David Aspinall | 2009-09-06 13:32:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 13:32:10 +0000 |
| commit | 5f4db13bef61a2b4ea1fef4c3472cd4c9f8a6667 (patch) | |
| tree | 16a37814cc14c6e4cfadb1ba34f529d2d3ab36d4 /generic/proof-script.el | |
| parent | 908f39c41143428256bf54b0ecffcf8a3e60ac30 (diff) | |
Simplify by removing ability to deal with restrictions
and a check for process liveness.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions