Eli Barzilay 41fd8555aa The Scribble reader was improved to make it pull out the syntax ... 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		2009-06-07 10:12:32 +00:00
collects	The Scribble reader was improved to make it pull out the syntax	2009-06-07 10:12:32 +00:00
doc/release-notes/mred	update history for 4.2 (merge/replace for 4.2)	2009-05-24 12:35:25 +00:00
man/man1	add setup-plt and mzc man pages	2008-01-05 23:41:46 +00:00