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