diff options
| author | David Aspinall | 2008-02-06 22:29:34 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-06 22:29:34 +0000 |
| commit | 9b66c9efc1fec64078a046dc9350e8eb0dbc9ca2 (patch) | |
| tree | 2d3dc1915ac6aea563f7d0e5d796bc44ac4b3bcb /generic/proof-auxmodes.el | |
| parent | 655464a68bc699c3696aabe66edf339ef2968f64 (diff) | |
proof-ready-for-assistant: Only make ready for assistant once(!)
Diffstat (limited to 'generic/proof-auxmodes.el')
0 files changed, 0 insertions, 0 deletions