| Thu, 20 Oct 2016 11:05:16 +0200 | wenzelm | build HTML library in Isabelle/Scala; | changeset | files |
| Thu, 20 Oct 2016 11:04:38 +0200 | wenzelm | proper echo; | changeset | files |
| Thu, 20 Oct 2016 10:30:11 +0200 | wenzelm | more robust bootstrap, e.g. when experimenting with Poly/ML repository changes; | changeset | files |
| Wed, 19 Oct 2016 18:14:42 +0200 | wenzelm | updated to jdk-8u112; | changeset | files |
| Wed, 19 Oct 2016 17:39:04 +0200 | wenzelm | basic SSH server configuration; | changeset | files |
| Wed, 19 Oct 2016 17:03:44 +0200 | wenzelm | proper isabelle tool in Scala; | changeset | files |