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