Tue, 11 Oct 2016 22:24:47 +0200 | wenzelm | tuned message -- more parsable; | file | diff | annotate |
Tue, 11 Oct 2016 22:24:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 11 Oct 2016 22:14:26 +0200 | wenzelm | identify managed repository clones; | file | diff | annotate |
Tue, 11 Oct 2016 21:48:56 +0200 | wenzelm | some timing and logging, similar to old isatest.log; | file | diff | annotate |
Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | file | diff | annotate |