Sat, 08 Jun 2024 11:47:48 +0200 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
Tue, 23 May 2023 18:46:15 +0200 |
wenzelm |
tuned signature: more position information;
|
file |
diff |
annotate
|
Sat, 20 May 2023 17:18:44 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 19 May 2023 21:48:11 +0200 |
wenzelm |
clarified context;
|
file |
diff |
annotate
|
Thu, 18 May 2023 23:50:59 +0200 |
wenzelm |
more careful reset/set_context for stored declarations;
|
file |
diff |
annotate
|
Thu, 18 May 2023 17:21:29 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
Tue, 16 May 2023 19:20:18 +0200 |
wenzelm |
more careful treatment of set_context / reset_context for persistent morphisms;
|
file |
diff |
annotate
|
Tue, 16 May 2023 17:08:31 +0200 |
wenzelm |
clarified transfer / trim_context on persistent Token.source (e.g. attribute expressions): actually set/reset implicit context;
|
file |
diff |
annotate
|
Mon, 15 May 2023 20:55:17 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 14 May 2023 13:00:49 +0200 |
wenzelm |
proper Thm.trim_context / Thm.transfer;
|
file |
diff |
annotate
|
Thu, 20 Apr 2023 21:26:35 +0200 |
wenzelm |
support n-ary merge theory data;
|
file |
diff |
annotate
|
Tue, 11 Apr 2023 10:45:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 28 Mar 2023 23:16:27 +0200 |
wenzelm |
more operations, notably for profiling;
|
file |
diff |
annotate
|
Wed, 20 Oct 2021 20:25:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
Wed, 20 Oct 2021 16:45:10 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 16 Aug 2021 11:49:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 16 Aug 2021 11:24:12 +0200 |
wenzelm |
more scalable data structures;
|
file |
diff |
annotate
|
Tue, 03 Aug 2021 13:08:23 +0200 |
wenzelm |
more uniform signatures in ML and Scala;
|
file |
diff |
annotate
|
Wed, 09 Jun 2021 18:04:21 +0000 |
haftmann |
more succint interfaces
|
file |
diff |
annotate
|
Sat, 19 Dec 2020 09:33:11 +0000 |
haftmann |
clarified scope of concept
|
file |
diff |
annotate
|
Fri, 18 Dec 2020 10:37:26 +0000 |
haftmann |
clarified name
|
file |
diff |
annotate
|
Sat, 24 Oct 2020 15:16:54 +0000 |
haftmann |
tuned interfaces
|
file |
diff |
annotate
|
Tue, 26 Nov 2019 08:09:44 +0100 |
ballarin |
Remove diagnostic command 'print_dependencies'.
|
file |
diff |
annotate
|
Wed, 28 Aug 2019 19:19:17 +0200 |
ballarin |
Integrate locale activation fallback diagnostics with 'trace_locales'.
|
file |
diff |
annotate
|
Sat, 24 Aug 2019 12:03:00 +0200 |
ballarin |
Tracing of locale activation.
|
file |
diff |
annotate
|
Tue, 25 Sep 2018 20:27:39 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 24 Sep 2018 22:10:24 +0200 |
wenzelm |
expose locale_dependency information;
|
file |
diff |
annotate
|
Mon, 24 Sep 2018 22:05:25 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 24 Sep 2018 20:24:03 +0200 |
wenzelm |
tuned signature: more explicit types;
|
file |
diff |
annotate
|