| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 11:09:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 22:58:24 +0200 |
wenzelm |
XML.Cache: intern property keys once and for all (again);
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 14:52:25 +0200 |
wenzelm |
tuned XML.content: Stream based iteration is supposed to be declarative *and* efficient;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 18:20:36 +0200 |
wenzelm |
XML.Cache: pipe-lined (thread-safe) version using actor;
|
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
|
| Tue, 10 Aug 2010 18:23:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 08 Aug 2010 13:59:57 +0200 |
wenzelm |
cache_string: store trimmed string value;
|
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
|
| Tue, 11 May 2010 23:36:06 +0200 |
wenzelm |
more precise pretty printing based on actual font metrics;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 22:54:25 +0200 |
wenzelm |
added content_length;
|
file |
diff |
annotate
|
| Tue, 30 Mar 2010 00:47:52 +0200 |
wenzelm |
recovered StringBuilder functionality after subtle change of + and ++ in Scala 2.8.0 Beta 1;
|
file |
diff |
annotate
|
| Mon, 29 Mar 2010 22:43:56 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta1 -- with notable changes to scala.collection;
|
file |
diff |
annotate
|
| Mon, 11 Jan 2010 23:00:05 +0100 |
wenzelm |
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 16:52:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 12:28:50 +0100 |
wenzelm |
markup bad YXML as malformed;
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 11:44:25 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 17 Dec 2009 23:31:59 +0100 |
wenzelm |
cache for partial sharing;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 16:11:07 +0100 |
wenzelm |
added get_data;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 13:43:51 +0100 |
wenzelm |
sealed XML.Tree;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 00:02:07 +0100 |
wenzelm |
toString: more robust handling of null;
|
file |
diff |
annotate
|
| Sun, 06 Dec 2009 22:22:48 +0100 |
wenzelm |
added auxiliary constructors;
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 14:21:07 +0100 |
wenzelm |
added document_node;
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 22:36:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 22:20:04 +0100 |
wenzelm |
override toString method;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 20:37:29 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Tue, 26 Aug 2008 16:36:30 +0200 |
wenzelm |
tuned append;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 19:42:13 +0200 |
wenzelm |
refer to symbolic Markup;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 17:22:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 11:48:52 +0200 |
wenzelm |
renamed DOM to document, add xml version and optional stylesheets;
|
file |
diff |
annotate
|
| Fri, 22 Aug 2008 21:25:19 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 21 Aug 2008 20:51:41 +0200 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
| Thu, 21 Aug 2008 19:19:31 +0200 |
wenzelm |
added iterator over content;
|
file |
diff |
annotate
|
| Sun, 17 Aug 2008 21:11:08 +0200 |
wenzelm |
Minimalistic XML tree values.
|
file |
diff |
annotate
|