From: Eric Tanter (etanter at dcc.uchile.cl) Date: Thu Apr 7 12:35:01 EDT 2011 |
|
Hi, In the Scribble language, @; introduces a comment. I'm looking for the Scribble equivalents of #| |# and #; I've tried the obvious (@#|, @#;) but it does not work. Is there a way to comment out a region in Scribble? Thanks, -- Éric
Posted on the users mailing list. |
|