Martin Scheffler wrote:
> Done, but the Wiki wants to change all my double quotes to "
> I used single quotes, hope that's OK.
> <nowiki>pragma.syntax('0.9')</nowiki>
Unfortunately, that won't work. Single quotes are for character
constants. Double quotes are for strings. The "e; is the standard
HTML escape for double quotes.
James