| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 21:46:37 +0100 |
wenzelm |
more robust: avoid NPE due to odd problems with object initialization;
|
file |
diff |
annotate
|
| Mon, 25 Mar 2019 19:50:52 +0100 |
wenzelm |
RDF meta data for AFP entries;
|
file |
diff |
annotate
|
| Sun, 17 Mar 2019 20:03:55 +0100 |
wenzelm |
more meta data from "dcterms" (superset of "dc");
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 23:02:18 +0100 |
wenzelm |
URIs should normally be "rdf:resource", not string body;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2019 20:47:04 +0100 |
wenzelm |
support for document meta data in PIDE and RDF;
|
file |
diff |
annotate
|
| Wed, 06 Mar 2019 13:17:17 +0100 |
wenzelm |
afford redundant whitespace for improved readability;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2019 19:33:40 +0100 |
wenzelm |
recover original order;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2019 18:44:02 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 05 Mar 2019 11:52:20 +0100 |
wenzelm |
afford redundant whitespace for improved readability;
|
file |
diff |
annotate
|
| Sun, 03 Mar 2019 19:30:17 +0100 |
wenzelm |
concrete predicates from "Dublin Core";
|
file |
diff |
annotate
|
| Thu, 14 Feb 2019 22:19:06 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2019 16:25:12 +0100 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Thu, 14 Feb 2019 15:46:38 +0100 |
wenzelm |
support for RDF/XML representation;
|
file |
diff |
annotate
|