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)