diff options
| author | David Aspinall | 1999-11-15 18:37:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-15 18:37:32 +0000 |
| commit | d624e436a4d860e51cd84676bcbe22919b7885fe (patch) | |
| tree | b1564516dc2d0e22c23a4928d1b6f8f025ecc700 /generic/proof-script.el | |
| parent | 09906b09bdb6fe2929d7f63b42381f423824fcc9 (diff) | |
Use infixes to show off X-Symbol
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions