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