On Wed, 28 Apr 2010 23:33:37 +1000, Shawn Van Ittersum wrote: > Well, I prefer {:!comment...}, but double-colon works too. Why the bang instead of the colon? Does it mean something special in such a context? -- Thomas