diff options
| author | David Aspinall | 2000-06-01 14:01:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 14:01:35 +0000 |
| commit | 60656ecd92fe5292aa2aaf31f350b4bf28a97291 (patch) | |
| tree | 2e5a24e48a1ad172a29b40a162c767de97c7b1ac /generic/proof-script.el | |
| parent | fccc7799cd5c981d06ab076aba8eed07eaeae2de (diff) | |
Plea for debugging in FSF Emacs
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions