diff options
| author | David Aspinall | 2003-02-19 13:35:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-19 13:35:25 +0000 |
| commit | b737d93aabf435ae8c2b199f7ea271dc5208cd93 (patch) | |
| tree | a280af7d57cd94a3fe182d745cd1ed9ac1e6d6f9 /generic/proof-script.el | |
| parent | a2f8351e0b95fc3c328eecfacae9b0c27aa626a7 (diff) | |
Docs; same safe-fail for MMM as X-Symbol.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions