| Mon, 11 Mar 2019 23:02:18 +0100 | wenzelm | URIs should normally be "rdf:resource", not string body; | changeset | files |
| Mon, 11 Mar 2019 22:13:14 +0100 | wenzelm | clarified signature; | changeset | files |
| Mon, 11 Mar 2019 20:47:04 +0100 | wenzelm | support for document meta data in PIDE and RDF; | changeset | files |
| Mon, 11 Mar 2019 19:14:21 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 11 Mar 2019 18:58:06 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 11 Mar 2019 16:47:22 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 11 Mar 2019 16:23:30 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 10 Mar 2019 23:23:03 +0100 | wenzelm | more formal contributors (with the help of the history); | changeset | files |