| Sat, 14 Jan 2017 20:39:16 +0100 | wenzelm | more standard header; | changeset | files |
| Sat, 14 Jan 2017 20:33:55 +0100 | wenzelm | build docker image from Isabelle application bundle for Linux; | changeset | files |
| Sat, 14 Jan 2017 20:22:15 +0100 | wenzelm | tuned message; | changeset | files |