Sat, 02 Jan 2021 20:56:08 +0100 |
wenzelm |
support more direct hash-consing via XML.Cache;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 16:39:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 02 Jan 2021 16:30:43 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Mon, 09 Mar 2020 19:35:07 +0100 |
wenzelm |
more scalable output of YXML files;
|
file |
diff |
annotate
|
Sun, 11 Mar 2018 15:08:14 +0100 |
wenzelm |
clarified argument formats: explicit Unit, allow XML.Elem as well;
|
file |
diff |
annotate
|
Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 23:31:45 +0200 |
wenzelm |
avoid octal escape literals -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
Wed, 16 Apr 2014 11:52:26 +0200 |
wenzelm |
more specific support for sequence of words;
|
file |
diff |
annotate
|
Tue, 18 Feb 2014 18:43:31 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
Tue, 18 Feb 2014 17:03:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 12:55:41 +0200 |
wenzelm |
clarified separated_chunks vs. space_explode;
|
file |
diff |
annotate
|
Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
Sun, 04 Sep 2011 15:21:50 +0200 |
wenzelm |
moved XML/YXML to src/Pure/PIDE;
|
file |
diff |
annotate
| base
|