Named Readtables are now named by symbols, not string-designators.
darcs-hash:20080927125935-f5546-64d6b1ab754c0157cb007d5d4c33550a23362270.gz
parent
c05ab168
Please register or sign in to comment
darcs-hash:20080927125935-f5546-64d6b1ab754c0157cb007d5d4c33550a23362270.gz