diff options
| author | David Aspinall | 2010-11-25 16:05:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-11-25 16:05:23 +0000 |
| commit | 83aeac983ae37d7db34389bc42c4127aa97f4800 (patch) | |
| tree | 49f70157936e0c0fe6eeecf46ffe6aeb1cfe725f /hol98/example.sml | |
| parent | 8c4a682176ffa312d977722a17a772ffe08863fa (diff) | |
Fix compile problem with smie code on Emacs <=23.3
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions