On Tue, 2002-12-03 at 20:47, Tomasz Wegrzanowski wrote:
On Tue, Dec 03, 2002 at 05:03:54PM -0800, Axel Boldt
wrote:
I reiterate my
plea for straight TeX with a full set of macro packages,
exactly what PlanetMath provides.
I'm strongly against.
Being format-independent is too important.
I'm sorry, I don't understand what you mean there.
I think having the standard that we should be able to cut-and-paste
between the two resources is an appropriate constraint. At worst there
should be an "export to PlanetMath-readable format" built in from the
start.