| Tue, 13 Feb 2018 12:09:51 +0100 | wenzelm | lxbroy7 no longer exists; | changeset | files |
| Mon, 12 Feb 2018 20:17:53 +0100 | nipkow | added lemmas | changeset | files |
| Mon, 12 Feb 2018 14:13:54 +0100 | Lars Hupel | corrected some URLs | changeset | files |
| Mon, 12 Feb 2018 13:27:30 +0100 | wenzelm | permissive Doc.dirs: some entries may be absent due to distribution bootstrap, e.g. $JEDIT_HOME/dist/doc; | changeset | files |
| Sun, 11 Feb 2018 22:26:58 +0100 | wenzelm | merged | changeset | files |
| Sun, 11 Feb 2018 15:13:40 +0100 | wenzelm | updated polyml component -- omitting bad polyml-5.7.1-3; | changeset | files |
| Sun, 11 Feb 2018 18:09:17 +0100 | Lars Hupel | use preferred resolver according to DOI Handbook ยง3.8 | changeset | files |