diff options
| author | David Aspinall | 2002-01-15 14:41:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 14:41:48 +0000 |
| commit | 0095e9a173e1bcebc9263cb9edb89c37b285a8a4 (patch) | |
| tree | 06b34e4f8eaecf09e69348496676fedd9ef5aead /generic/proof-utils.el | |
| parent | 6c8a7016f6f9d5a12f425c4422690f489ce8590e (diff) | |
Redisplay during tracing output on XEmacs
Diffstat (limited to 'generic/proof-utils.el')
0 files changed, 0 insertions, 0 deletions