| Wed, 28 Apr 2021 14:03:26 +0200 |
wenzelm |
tuned signature;
|
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
|
| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Sun, 13 Oct 2019 17:17:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 13 Oct 2019 16:36:41 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 10 Apr 2019 12:11:30 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2019 12:08:08 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 19:50:52 +0100 |
wenzelm |
RDF meta data for AFP entries;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 17:21:26 +0100 |
wenzelm |
more strict AFP properties;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 16:45:08 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 16:11:28 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 15:48:08 +0100 |
wenzelm |
proper treatment of empty extra lines (amending 98a440cfbb2b);
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 15:38:56 +0100 |
wenzelm |
clarified signature: explicitly typed interfaces;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 14:47:54 +0100 |
wenzelm |
provide maintainers as seen in AFP/admin;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 14:40:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 14:32:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 14:19:26 +0100 |
wenzelm |
read AFP metadata for entries;
|
file |
diff |
annotate
|
| Mon, 04 Feb 2019 14:03:31 +0100 |
wenzelm |
clarified URL -- avoid odd certificate problem with api.media.atlassian.com;
|
file |
diff |
annotate
|
| Sat, 19 Jan 2019 20:18:26 +0100 |
wenzelm |
more official AFP.groups;
|
file |
diff |
annotate
|
| Sun, 11 Mar 2018 13:18:41 +0100 |
wenzelm |
clarified AFP partitioning;
|
file |
diff |
annotate
|
| Sat, 10 Mar 2018 20:24:00 +0100 |
wenzelm |
more balanced AFP partitioning;
|
file |
diff |
annotate
|
| Thu, 08 Mar 2018 11:20:45 +0100 |
wenzelm |
more balanced AFP partitioning;
|
file |
diff |
annotate
|
| Tue, 06 Mar 2018 17:44:19 +0100 |
wenzelm |
more balanced AFP partitioning;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:41:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2017 16:44:25 +0100 |
wenzelm |
clarifified selection: always wrt. build_graph structure;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2017 16:59:45 +0200 |
wenzelm |
partition AFP sessions according to structure, which happens to cut it roughly into equal parts;
|
file |
diff |
annotate
|
| Fri, 13 Oct 2017 13:31:56 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2017 21:22:02 +0200 |
wenzelm |
entries_graph requires acyclic graph, but lazy val allows forming the AFP object nonetheless;
|
file |
diff |
annotate
|
| Tue, 10 Oct 2017 19:48:29 +0200 |
wenzelm |
cycle check with informative error;
|
file |
diff |
annotate
|
| Tue, 10 Oct 2017 19:23:03 +0200 |
wenzelm |
tuned: each session has at most one defining entry;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 22:03:05 +0200 |
wenzelm |
tuned: less oo-non-sense;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 21:43:27 +0200 |
wenzelm |
operations for graph display;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 20:26:02 +0200 |
wenzelm |
dependencies of entries vs. sessions;
|
file |
diff |
annotate
|
| Mon, 09 Oct 2017 17:09:08 +0200 |
wenzelm |
some administrative support for AFP;
|
file |
diff |
annotate
|