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