src/Pure/General/xml.ML
Fri, 07 May 2004 13:42:08 +0200 aspinall Add FIXME note re FAIL (is it fixed yet?)
Fri, 07 May 2004 13:40:24 +0200 aspinall Add cdata output. Add tabs in whitespace. Write two strings instead of Library.quote.
Fri, 16 Apr 2004 18:43:36 +0200 berghofe - tuned text function
Thu, 04 Sep 2003 19:39:52 +0200 berghofe Tried to make parser a bit more standard-conforming.
Wed, 27 Nov 2002 17:17:53 +0100 berghofe Added XML parser (useful for parsing PGIP / PGML).
Sat, 08 Dec 2001 14:39:08 +0100 wenzelm Basic support for XML output.
less more (0) tip