| Mon, 08 Aug 2022 11:46:09 +0200 |
wenzelm |
more robust data representation: notably for Store.read_session_timing with database_server;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 14:07:51 +0200 |
wenzelm |
clarified signature -- avoid odd warning about scala/bug#6675;
|
file |
diff |
annotate
|
| Mon, 17 May 2021 13:40:01 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 22:22:34 +0100 |
wenzelm |
clarified signature: absorb XZ.Cache into XML.Cache;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2021 15:58:48 +0100 |
wenzelm |
clarified signature --- internal Cache.none;
|
file |
diff |
annotate
|
| Sat, 12 Dec 2020 12:45:21 +0100 |
wenzelm |
accommodate OpenJDK 15;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 17:53:13 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 22:17:42 +0200 |
wenzelm |
support for XZ.Cache;
|
file |
diff |
annotate
|
| Fri, 26 May 2017 11:33:09 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 17 May 2017 21:24:16 +0200 |
wenzelm |
clarified use of XML.Cache;
|
file |
diff |
annotate
|
| Sat, 29 Apr 2017 09:38:22 +0200 |
wenzelm |
clarified multi-line properties;
|
file |
diff |
annotate
|
| Thu, 27 Apr 2017 11:26:25 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:16:12 +0200 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| Sun, 23 Oct 2016 13:16:23 +0200 |
wenzelm |
more operations (see also properties.ML);
|
file |
diff |
annotate
|
| Mon, 05 Sep 2016 22:09:52 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2016 16:37:47 +0100 |
wenzelm |
more operations (like Markup.parse_bool in ML);
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 13:18:17 +0200 |
wenzelm |
more compact representation of special string values;
|
file |
diff |
annotate
|
| Thu, 17 Jan 2013 15:49:50 +0100 |
wenzelm |
tuned signature (again) -- keep Properties more generic;
|
file |
diff |
annotate
|
| Sat, 12 Jan 2013 17:28:07 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2013 21:16:51 +0100 |
wenzelm |
include timing properties in log;
build_history_base
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 11:47:49 +0200 |
wenzelm |
prefer general Properties.Value.Boolean;
|
file |
diff |
annotate
|
| Tue, 29 May 2012 17:54:34 +0200 |
wenzelm |
tuned signature;
|
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
|
| Tue, 12 Jul 2011 19:36:46 +0200 |
wenzelm |
more uniform Properties in ML and Scala;
|
file |
diff |
annotate
|