diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 08:50:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-05-26 08:50:43 +0000 |
commit | 7c6a1763c8b56ccf5a98b229e5ca992f4daa0973 (patch) | |
tree | 87eb585b03d8f6056cb2086229b693c326333053 /hol98/example.sml | |
parent | cafa86e49837c6cd526b9bb932a76d1dc3554a52 (diff) |
Add highlighting for sendback
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions