| Sun, 17 Mar 2019 20:03:55 +0100 | wenzelm | more meta data from "dcterms" (superset of "dc"); | changeset | files |
| Fri, 15 Mar 2019 22:02:05 +0100 | wenzelm | more latex symbols; | changeset | files |
| Thu, 14 Mar 2019 21:17:40 +0100 | wenzelm | merged | changeset | files |
| Thu, 14 Mar 2019 16:55:06 +0100 | wenzelm | more specific keyword kinds; | changeset | files |