aboutsummaryrefslogtreecommitdiff
path: root/hol98/example.sml
diff options
context:
space:
mode:
authorDavid Aspinall2007-12-09 15:27:54 +0000
committerDavid Aspinall2007-12-09 15:27:54 +0000
commit6be19ebc71ad08dcb6c8ebafba73348be3137e03 (patch)
tree25f6f529053021cb3d78d0fe9999cd2b8cd9d4c7 /hol98/example.sml
parent60e3a6c2d0e27ba6348b882105887cd4100170c6 (diff)
Patch for buggy derived.el in XEmacs 21.5.b28
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions