diff options
| author | David Aspinall | 2002-09-04 17:02:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-09-04 17:02:36 +0000 |
| commit | d40e94ad261c3a992a3bd74b18a665aca28abec8 (patch) | |
| tree | ff5cef8ea56c962bde36eacb99156fa6bd7db097 /hol98/example.sml | |
| parent | 4037666f8a735cf9d4f1654e87afe1fb6a6ada4a (diff) | |
don't use -q argument to emacs
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions