src/Pure/General/xml.ML
Fri, 18 Jun 2004 20:07:51 +0200 wenzelm scalable string_of_tree; tuned;
Sat, 12 Jun 2004 22:46:51 +0200 wenzelm Library.translate_string;
Wed, 09 Jun 2004 18:56:38 +0200 wenzelm Scan.this_string;
Fri, 04 Jun 2004 11:51:31 +0200 berghofe Tuned parse_att.
Tue, 01 Jun 2004 18:52:38 +0200 aspinall Add alternative syntax for attributes
Sat, 29 May 2004 15:11:06 +0200 wenzelm Scan.this; tuned;
Mon, 10 May 2004 19:26:25 +0200 wenzelm tuned;
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