Sat, 13 Aug 2011 13:48:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 15 Jul 2011 14:07:12 +0200 |
wenzelm |
simplified malformed YXML markup -- special controls are visible in IsabelleText font;
|
file |
diff |
annotate
|
Tue, 12 Jul 2011 19:49:35 +0200 |
wenzelm |
clarified YXML.detect;
|
file |
diff |
annotate
|
Tue, 12 Jul 2011 14:54:29 +0200 |
wenzelm |
added Outer_Syntax.quote_string, which is conceptually a bit different from Token.unparse;
|
file |
diff |
annotate
|
Mon, 11 Jul 2011 11:13:33 +0200 |
wenzelm |
some support for raw messages, which bypass standard Symbol/YXML decoding;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 13:43:10 +0200 |
wenzelm |
imitate exception ERROR of Isabelle/ML;
|
file |
diff |
annotate
|
Thu, 12 May 2011 16:42:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 10 Nov 2010 11:44:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 11:08:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 11 Aug 2010 00:42:01 +0200 |
wenzelm |
more uniform XML/YXML string_of_body/string_of_tree;
|
file |
diff |
annotate
|
Tue, 10 Aug 2010 23:03:48 +0200 |
wenzelm |
type XML.Body as basic data representation language (Scala version);
|
file |
diff |
annotate
|
Sun, 08 Aug 2010 14:00:59 +0200 |
wenzelm |
YXML.parse: refrain from interning, let XML.Cache do it (partially);
|
file |
diff |
annotate
|
Sat, 07 Aug 2010 22:43:57 +0200 |
wenzelm |
simplified some Markup;
|
file |
diff |
annotate
|
Sat, 07 Aug 2010 22:09:52 +0200 |
wenzelm |
simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
Thu, 06 May 2010 21:02:34 +0200 |
wenzelm |
slightly more general Library.chunks;
|
file |
diff |
annotate
|
Thu, 06 May 2010 17:49:57 +0200 |
wenzelm |
misc tuning -- accumulate body via ListBuffer;
|
file |
diff |
annotate
|
Mon, 28 Dec 2009 22:03:14 +0100 |
wenzelm |
separate Standard_System (Cygwin/Posix compatibility) vs. Isabelle_System (settings environment etc.);
|
file |
diff |
annotate
|
Mon, 28 Dec 2009 18:40:13 +0100 |
wenzelm |
moved Library.decode_permissive_utf8 to Isabelle_System;
|
file |
diff |
annotate
|
Sun, 27 Dec 2009 23:09:16 +0100 |
wenzelm |
factored-out Library.decode_permissive_utf8;
|
file |
diff |
annotate
|
Fri, 18 Dec 2009 12:28:50 +0100 |
wenzelm |
markup bad YXML as malformed;
|
file |
diff |
annotate
|
Fri, 18 Dec 2009 12:10:52 +0100 |
wenzelm |
replace invalid code points -- instead of exception;
|
file |
diff |
annotate
|
Thu, 17 Dec 2009 20:09:19 +0100 |
wenzelm |
added decode_chars, with raw character view on byte buffer and adhoc decoding via toString;
|
file |
diff |
annotate
|
Sat, 29 Aug 2009 14:31:39 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
Tue, 09 Jun 2009 20:18:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 05 Jun 2009 21:55:08 +0200 |
wenzelm |
removed obsolete YXML/XML.detect;
|
file |
diff |
annotate
|
Mon, 19 Jan 2009 16:03:04 +0100 |
wenzelm |
intern names of elements and attributes;
|
file |
diff |
annotate
|
Fri, 16 Jan 2009 22:54:11 +0100 |
wenzelm |
added parse_body_failsafe;
|
file |
diff |
annotate
|
Sat, 27 Dec 2008 17:09:27 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 19 Dec 2008 20:37:29 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Mon, 25 Aug 2008 20:01:17 +0200 |
wenzelm |
simplified exceptions: use plain error function / RuntimeException;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 23:07:41 +0200 |
wenzelm |
renamed Markup.MALFORMED to Markup.BAD;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 19:42:14 +0200 |
wenzelm |
added parse_failsafe;
|
file |
diff |
annotate
|
Thu, 21 Aug 2008 22:06:17 +0200 |
wenzelm |
parse_attrib: proper index of name end!
|
file |
diff |
annotate
|
Thu, 21 Aug 2008 21:42:16 +0200 |
wenzelm |
tuned parse performance: avoid splitting terminal Y chunk;
|
file |
diff |
annotate
|
Thu, 21 Aug 2008 21:27:07 +0200 |
wenzelm |
parse_attrib: more efficient due to indexOf('=');
|
file |
diff |
annotate
|
Thu, 21 Aug 2008 20:53:31 +0200 |
wenzelm |
replaced Pattern.split by chunks iterator (more efficient, resembles ML version more closely);
|
file |
diff |
annotate
|
Sun, 17 Aug 2008 21:11:06 +0200 |
wenzelm |
Efficient text representation of XML trees.
|
file |
diff |
annotate
|