Sun, 04 Dec 2016 18:53:22 +0100 | wenzelm | back to isabelle-dev repository; | file | diff | annotate |
Tue, 01 Nov 2016 01:25:54 +0100 | wenzelm | pull isabelle-release; | file | diff | annotate |
Mon, 31 Oct 2016 14:21:23 +0100 | wenzelm | more explicit pull; | file | diff | annotate |
Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |