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.scala
2015-08-26
wenzelm
tuned signature;
file
|
diff
|
annotate
2015-05-02
wenzelm
misc tuning, based on warnings by IntelliJ IDEA;
file
|
diff
|
annotate
2014-08-12
wenzelm
tuned;
file
|
diff
|
annotate
2014-08-12
wenzelm
more compact representation of special string values;
file
|
diff
|
annotate
2014-02-20
wenzelm
tuned imports;
file
|
diff
|
annotate
2013-08-07
wenzelm
tuned signature;
file
|
diff
|
annotate
2013-05-14
wenzelm
tuned signature;
file
|
diff
|
annotate
2013-04-09
wenzelm
tuned signature;
file
|
diff
|
annotate
2013-02-19
wenzelm
help JVM to cope with large symbolic structures;
file
|
diff
|
annotate
2012-09-28
wenzelm
support for wrapped XML elements, which allows to preserve full markup tree information in to_XML/from_XML conversion;
file
|
diff
|
annotate
2012-09-27
wenzelm
removed obsolete org.w3c.dom operations;
file
|
diff
|
annotate
2012-09-20
wenzelm
tuned signature;
file
|
diff
|
annotate
2012-09-20
wenzelm
tuned;
file
|
diff
|
annotate
2012-09-18
wenzelm
recover order of stacked markup;
file
|
diff
|
annotate
2012-09-18
wenzelm
some actual rich text markup via XML.content_markup;
file
|
diff
|
annotate
2012-03-08
wenzelm
simplified -- plain map_index is sufficient (pointed out by Enrico Tassi);
file
|
diff
|
annotate
2011-11-29
wenzelm
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
file
|
diff
|
annotate
2011-11-28
wenzelm
explicit indication of modules for independent Scala library;
file
|
diff
|
annotate
2011-09-07
wenzelm
XML.cache for partial sharing (strings only);
file
|
diff
|
annotate
2011-09-05
wenzelm
tuned imports;
file
|
diff
|
annotate
2011-09-04
wenzelm
simplified signatures;
file
|
diff
|
annotate
2011-09-04
wenzelm
synchronous XML.Cache without actor -- potentially more efficient on machines with few cores;
file
|
diff
|
annotate
2011-09-04
wenzelm
moved XML/YXML to src/Pure/PIDE;
file
|
diff
|
annotate
|
base
less
more
(0)
tip