punctuations outside of the form, as it does with quote punctuations.
So things like this
#, @foo{...}
that required the space to make the @foo read as a scribble form are
now better written as
@#,foo{...}
This changes all such occurrences. (In case you see this change in
your files and are worried that there might be changes: I mechanically
verified that the result of `read'ing the modified files is identical
to the previous version.)
svn: r15111
original commit: 4288c6c2c703664b6bbd4cd06bd7c2160985b00d
tree and verifying that there are no changes).
(Also fixed a few bugs that were in the code)
svn: r14427
original commit: c0a8a0122200209e38dff1959d79b58f847814db
Mike Sperber