diff options
| author | David Aspinall | 1998-11-09 18:42:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-09 18:42:52 +0000 |
| commit | 257d2cf3547f485c18991db54f56bd28c86b9ac3 (patch) | |
| tree | f6092ec4b6c0262d78a2eb95a34e9c0acb305b7e /generic/proof-script.el | |
| parent | 1044ec7dbc0335ae122fe062f79219ac310a4f09 (diff) | |
Added bug about FSFmacs/proof-strict-read-only=t/font-lock
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions