Wed, 28 Nov 2018 16:18:40 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 28 Nov 2018 16:14:31 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
Mon, 06 Nov 2017 16:03:13 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 20 Jun 2017 11:19:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 19 Jun 2017 20:32:06 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 19 Jun 2017 19:59:13 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 01 Jun 2017 21:43:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 04 Apr 2017 15:05:00 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Tue, 07 Mar 2017 14:33:14 +0100 |
wenzelm |
clarified modules: spell-checker in Pure;
|
file |
diff |
annotate
|