| Tue, 12 Jul 2011 19:49:35 +0200 |
wenzelm |
clarified YXML.detect;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 15:32:16 +0200 |
wenzelm |
tuned signature -- less cryptic ASCII names;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 13:45:05 +0200 |
wenzelm |
clarified YXML.embed_controls -- this is idempotent and cannot be nested;
|
file |
diff |
annotate
|
| Sun, 10 Jul 2011 20:59:04 +0200 |
wenzelm |
inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
|
file |
diff |
annotate
|
| Sun, 10 Jul 2011 16:31:04 +0200 |
wenzelm |
YXML.string_of_body convenience;
|
file |
diff |
annotate
|
| Fri, 01 Jul 2011 13:54:23 +0200 |
noschinl |
reverted ce00462f,b3759dce, 7a165592: unwanted generalisation
|
file |
diff |
annotate
|
| Thu, 14 Apr 2011 15:04:42 +0200 |
noschinl |
turn YXML.parse_file into a fold
|
file |
diff |
annotate
|
| Wed, 13 Apr 2011 21:38:00 +0200 |
noschinl |
Add YXML.parse_file to signature ...
|
file |
diff |
annotate
|
| Wed, 13 Apr 2011 21:23:30 +0200 |
noschinl |
Add YXML.parse_file to parse and process big data files
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 11:02:47 +0200 |
wenzelm |
uniform Markup.empty/Markup.Empty in ML and Scala;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 22:26:23 +0200 |
wenzelm |
type XML.body as basic data representation language;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 20:13:52 +0200 |
wenzelm |
renamed YXML.binary_text to YXML.escape_controls to emphasize what it actually does;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 21:03:06 +0200 |
wenzelm |
simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 13:58:15 +0100 |
wenzelm |
robust representation of low ASCII control characters within XML/YXML text;
|
file |
diff |
annotate
|
| Fri, 05 Jun 2009 21:55:08 +0200 |
wenzelm |
removed obsolete YXML/XML.detect;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Fri, 02 Jan 2009 22:54:04 +0100 |
wenzelm |
Markup.no_output;
|
file |
diff |
annotate
|
| Thu, 28 Aug 2008 00:33:09 +0200 |
wenzelm |
removed obsolete XML.Output workaround;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 20:36:23 +0200 |
wenzelm |
replaced find_substring by first_field;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 16:32:48 +0200 |
wenzelm |
simplified parse_attrib (find_substring instead of space_explode);
|
file |
diff |
annotate
|
| Sun, 17 Aug 2008 21:11:24 +0200 |
wenzelm |
removed parse_element -- no longer fits to liberal parse!
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 15:50:50 +0200 |
wenzelm |
output_markup: check Markup.is_none;
|
file |
diff |
annotate
|
| Sat, 09 Aug 2008 00:09:31 +0200 |
wenzelm |
YXML.parse: allow text without markup, potentially empty;
|
file |
diff |
annotate
|
| Wed, 16 Apr 2008 17:40:40 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 21:23:38 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 18:42:38 +0200 |
wenzelm |
replaced ETX/EOT by ENQ/ACK, which are less likely to be interpreted by tty etc.;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 16:03:59 +0200 |
wenzelm |
Why XML notation?
|
file |
diff |
annotate
|