| 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
|