Sun, 15 Jan 2017 12:46:09 +0100 | wenzelm | proper tag syntax; | file | diff | annotate |
Sun, 15 Jan 2017 12:19:48 +0100 | wenzelm | clarified packages; | file | diff | annotate |
Sat, 14 Jan 2017 22:28:51 +0100 | wenzelm | clarified packages; | file | diff | annotate |
Sat, 14 Jan 2017 21:48:23 +0100 | wenzelm | more options; | file | diff | annotate |
Sat, 14 Jan 2017 20:33:55 +0100 | wenzelm | build docker image from Isabelle application bundle for Linux; | file | diff | annotate |