4288c6c2c7
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
|
||
|---|---|---|
| .. | ||
| drscheme | ||
| foreign | ||
| framework | ||
| gui | ||
| guide | ||
| honu | ||
| htdp-langs | ||
| inside | ||
| main | ||
| more | ||
| mzc | ||
| quick | ||
| reference | ||
| scribble | ||
| setup-plt | ||
| slideshow | ||
| tools | ||
| finger.png | ||
| icons.ss | ||
| info.ss | ||
| magnify.png | ||
