On lun, 2003-01-06 at 05:34, Erik Moeller wrote:
On Mon, 2003-01-06 at 14:28, tarquin wrote:
has this been changed recently?
look at the sections on special characters on
http://www.wikipedia.org/wiki/Wikipedia%3AHow_does_one_edit_a_page
Things like
π <nowiki>π</nowiki>
now shows the same thing twice -- so it's now not possible to
demonstrate how to produce these charcaters.
This is probably not intentional, but you can work around it by typing
&pi; etc.
It's quite intentional, and restores the original behavior of <nowiki>
and <pre> from a longtime bug in phase 3.
-- brion vibber (brion @
pobox.com)