| 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
|
| Mon, 24 Sep 2018 20:05:41 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 19:53:45 +0200 |
wenzelm |
tuned signature: prefer value-oriented pretty-printing;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 19:43:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 19:34:14 +0200 |
wenzelm |
tuned signature: prefer value-oriented pretty-printing;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 19:06:56 +0200 |
wenzelm |
tuned (according to signature);
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 15:34:19 +0200 |
wenzelm |
tuned comments: local context is intended according to 06fd1914b902 and documentation for command 'print_interps';
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 15:20:21 +0200 |
wenzelm |
more position information;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 14:58:15 +0200 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 13:01:25 +0200 |
wenzelm |
tuned signature: more explicit types;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 12:16:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 12:07:17 +0200 |
wenzelm |
eliminated dead code (see b806a7678083);
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 11:50:09 +0200 |
wenzelm |
tuned signature: canonical argument order;
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 11:45:20 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 21 Sep 2018 22:26:10 +0200 |
wenzelm |
clarified locale content: proper args with types for interpretation/axioms and typargs derived from the result;
|
file |
diff |
annotate
|
| Wed, 19 Sep 2018 20:45:47 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 19 Sep 2018 16:11:54 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|