| Mon, 22 Nov 2021 15:03:37 +0100 |
wenzelm |
more compact data during presentation: Entity_Context.Theory_Export instead of full Export_Theory.Theory;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 20:42:06 +0100 |
wenzelm |
more compact persistent data;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 19:22:11 +0100 |
wenzelm |
clarified Theory_Cache: prefer immutable data with Synchronized variable;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 15:44:37 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 04 Nov 2021 12:01:28 +0100 |
wenzelm |
tuned -- eliminate clones stemming from d28a51dd9da6;
|
file |
diff |
annotate
|
| Tue, 02 Nov 2021 15:40:02 +0100 |
wenzelm |
updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2021 21:16:22 +0200 |
wenzelm |
export other entities, e.g. relevant for formal document output;
|
file |
diff |
annotate
|
| Wed, 04 Aug 2021 21:03:25 +0200 |
wenzelm |
more operations: record overall exported entities;
|
file |
diff |
annotate
|
| Wed, 04 Aug 2021 19:41:59 +0200 |
wenzelm |
clarified export of formal entities: name space info is always present, but content depends on option "export_theory";
|
file |
diff |
annotate
|
| Fri, 18 Jun 2021 15:03:12 +0200 |
wenzelm |
tuned --- following hints by IntelliJ;
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 15:41:46 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
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
|
| Mon, 07 Dec 2020 20:26:09 +0100 |
wenzelm |
clarified signature: provide XZ.Cache where Export.Entry is created;
|
file |
diff |
annotate
|