| Wed, 10 Jan 2024 13:43:10 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2024 13:37:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2024 13:33:36 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2024 11:33:36 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2024 22:40:38 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2024 17:10:09 +0100 |
wenzelm |
misc tuning and clarification: prefer Same.operation;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2024 12:18:01 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2024 12:06:07 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2024 11:57:16 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 22:39:40 +0100 |
wenzelm |
minor performance tuning: proper Same.operation;
|
file |
diff |
annotate
|
| Sun, 31 Dec 2023 22:04:41 +0100 |
wenzelm |
minor performance tuning: proper Same.operation;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 21:40:48 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2023 21:35:00 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 06 Dec 2023 15:58:20 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 05 Dec 2023 20:56:51 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Sat, 06 May 2023 23:20:20 +0200 |
wenzelm |
back to more elementary concept of aliases as adhoc change of accesses, but now with "suppress" information (see also 31ea5c1f874d);
|
file |
diff |
annotate
|
| Fri, 05 May 2023 15:56:12 +0200 |
wenzelm |
more explicit entries for aliases, with proper checks in "strict" mode (e.g. for logical entities);
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 12:59:16 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 09 Sep 2021 12:33:14 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 22:05:35 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 21:45:43 +0200 |
wenzelm |
more scalable operations;
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 21:25:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 03 Jul 2017 09:12:13 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Fri, 25 Sep 2015 19:13:47 +0200 |
wenzelm |
tuned signature: eliminated pointless type Context.pretty;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2015 21:12:22 +0200 |
wenzelm |
subtle change of long-standing name space policy: unknown entries are treated as hidden, consequently "private" is understood in the strict sense;
|
file |
diff |
annotate
|
| Tue, 31 Mar 2015 20:18:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 29 Mar 2015 19:24:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Sat, 08 Nov 2014 17:39:01 +0100 |
wenzelm |
clarified name of Type.unified, to emphasize its connection to the "unify" family;
|
file |
diff |
annotate
|
| Sat, 08 Nov 2014 15:01:05 +0100 |
wenzelm |
recovered type matching, which was broken in 8a765db7e0f8 (see also 8a765db7e0f8, 2db1d3d2ed54);
|
file |
diff |
annotate
|