diff options
| author | David Aspinall | 2009-09-14 22:11:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 22:11:35 +0000 |
| commit | ef027954e62e193ab02bdd7d28254089da2babde (patch) | |
| tree | aaaa9ab56ae8b1c603ab8e488a1f575ee3cad29a /generic/proof-script.el | |
| parent | ab736337912b40814e57a3a28d7e7c8ef504f654 (diff) | |
Remove proof-strict-read-only-toggle call (no longer defined, and
anyway wrong technique). Instead use inhibit-read-only to allow write
in possibly read-only area.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions