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
|
Wed, 25 Nov 2020 15:24:55 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 23 Nov 2020 13:52:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 07 Apr 2020 21:49:36 +0200 |
wenzelm |
clarified signature: more uniform treatment of stopped/interrupted state;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Fri, 06 Dec 2019 16:13:36 +0100 |
wenzelm |
discontinued somewhat pointless options;
|
file |
diff |
annotate
|
Fri, 06 Dec 2019 15:44:55 +0100 |
wenzelm |
export datatypes;
|
file |
diff |
annotate
|
Tue, 03 Dec 2019 16:40:04 +0100 |
wenzelm |
clarified export of consts: recursion is accessible via spec_rules;
|
file |
diff |
annotate
|