2 months ago agoupdated to polyml-5.8 (official release);
wenzelm [Tue, 12 Mar 2019 15:34:33 +0100] rev 70084
updated to polyml-5.8 (official release);

2 months ago agoURIs should normally be "rdf:resource", not string body;
wenzelm [Mon, 11 Mar 2019 23:02:18 +0100] rev 70083
URIs should normally be "rdf:resource", not string body;

2 months ago agoclarified signature;
wenzelm [Mon, 11 Mar 2019 22:13:14 +0100] rev 70082
clarified signature;

2 months ago agosupport for document meta data in PIDE and RDF;
wenzelm [Mon, 11 Mar 2019 20:47:04 +0100] rev 70081
support for document meta data in PIDE and RDF;

2 months ago agotuned signature;
wenzelm [Mon, 11 Mar 2019 19:14:21 +0100] rev 70080
tuned signature;

2 months ago agotuned signature;
wenzelm [Mon, 11 Mar 2019 18:58:06 +0100] rev 70079
tuned signature;

2 months ago agotuned signature;
wenzelm [Mon, 11 Mar 2019 16:47:22 +0100] rev 70078
tuned signature;

2 months ago agotuned signature;
wenzelm [Mon, 11 Mar 2019 16:23:30 +0100] rev 70077
tuned signature;

2 months ago agomore formal contributors (with the help of the history);
wenzelm [Sun, 10 Mar 2019 23:23:03 +0100] rev 70076
more formal contributors (with the help of the history);

2 months ago agoproper data columns for plots;
wenzelm [Sun, 10 Mar 2019 22:38:00 +0100] rev 70075
proper data columns for plots;