diff options
| author | David Aspinall | 2004-02-29 00:19:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-29 00:19:05 +0000 |
| commit | 2533cdbda7783634c1b0b2f846a8305adca3e987 (patch) | |
| tree | 871ba832aaf7bab34fd01c76ec98173ecc79d24f /hol98/example.sml | |
| parent | 4ea17066d3fc14dfaedaa9e4b4966cfb5ce83993 (diff) | |
Add --emacs options
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions