diff options
| author | David Aspinall | 1998-10-22 16:52:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-22 16:52:06 +0000 |
| commit | 0a13df791bfca5cc0d89d4dd38bc787245a97799 (patch) | |
| tree | e179137df71fbdbba9b1cf78eda8b5f4d0eb12a3 /etc/ProofGeneral.patch | |
| parent | c7cec3e4cd40a42e8e4aed707022497fecffda67 (diff) | |
Added new predicates: proof-locked-region-{empty,full}-p
proof-only-whitespace-to-locked-region-p
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions