src/Pure/General/xml.ML
Tue, 01 Jun 2004 18:52:38 +0200 Add alternative syntax for attributes
Sat, 29 May 2004 15:11:06 +0200 Scan.this; tuned;
Mon, 10 May 2004 19:26:25 +0200 tuned;
Fri, 07 May 2004 13:42:08 +0200 Add FIXME note re FAIL (is it fixed yet?)
Fri, 07 May 2004 13:40:24 +0200 Add cdata output. Add tabs in whitespace. Write two strings instead of Library.quote.
Fri, 16 Apr 2004 18:43:36 +0200 - tuned text function
Thu, 04 Sep 2003 19:39:52 +0200 Tried to make parser a bit more standard-conforming.
Wed, 27 Nov 2002 17:17:53 +0100 Added XML parser (useful for parsing PGIP / PGML).
Sat, 08 Dec 2001 14:39:08 +0100 Basic support for XML output.