diff options
| author | David Aspinall | 1998-12-14 15:16:21 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-14 15:16:21 +0000 |
| commit | 2b4ffa29821703690cdb8758662c9d43c42453fc (patch) | |
| tree | a3b972b1cf0d146be6ae00b2f7e017ef952c9f76 /generic/proof-script.el | |
| parent | 61237df6d2f941d43c8912e3de45bed70f676f4d (diff) | |
Gave up on buggy Emacs 19 support, now give error for Emacs 19.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions