aboutsummaryrefslogtreecommitdiff
path: root/hol98/example.sml
diff options
context:
space:
mode:
authorDavid Aspinall2003-03-06 22:12:38 +0000
committerDavid Aspinall2003-03-06 22:12:38 +0000
commit66a8a3e9fb62c7affbe6a38d8e3ea257c6febe18 (patch)
tree1a8f86c9d00a9db3a4ce40b0e9c079a44b9c6e34 /hol98/example.sml
parente98c68967a703db74d46029740164fe53b278da1 (diff)
Fix Non-X frame error on Emacs 21
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions