Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/xml.ML
Sat, 11 Aug 2012 17:40:33 +0200 wenzelm tuned message; file | diff | annotate
Thu, 29 Mar 2012 22:43:50 +0200 wenzelm more specific notion of partiality (cf. Scala version); file | diff | annotate
Thu, 08 Mar 2012 21:40:15 +0100 wenzelm tuned comment; file | diff | annotate
Thu, 08 Mar 2012 21:36:36 +0100 wenzelm simplified -- plain map_index is sufficient (pointed out by Enrico Tassi); file | diff | annotate
Thu, 08 Mar 2012 19:56:57 +0100 wenzelm clarified XML signature (again) -- coincide with basic Markup without explicit dependency; file | diff | annotate
Sun, 16 Oct 2011 16:56:01 +0200 wenzelm slightly more standard-conformant XML parsing (see also 94033767ef9b); file | diff | annotate
Thu, 08 Sep 2011 00:20:09 +0200 wenzelm more substructural sharing to gain significant compression; file | diff | annotate
Wed, 07 Sep 2011 23:08:04 +0200 wenzelm XML.cache for partial sharing (strings only); file | diff | annotate
Sun, 04 Sep 2011 15:21:50 +0200 wenzelm moved XML/YXML to src/Pure/PIDE; file | diff | annotate | base
less more (0) tip
isabelle