| Tue, 13 Feb 2018 14:24:50 +0100 | wenzelm | updated polyml component; | changeset | files |
| Tue, 13 Feb 2018 13:58:37 +0100 | wenzelm | no --enable-shared: leads to slow bigint operations (e.g. in session HOL-ODE-Examples); | changeset | files |
| Tue, 13 Feb 2018 12:18:16 +0100 | wenzelm | retain remote_builds_old for build_status; | changeset | files |
| 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 |