| Tue, 04 Oct 2016 19:38:43 +0200 | wenzelm | check session name; | file | diff | annotate |
| Tue, 04 Oct 2016 19:26:19 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 02 Oct 2016 14:07:43 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Tue, 09 Aug 2016 23:26:51 +0200 | wenzelm | API for Isabelle Jenkins continuous integration services; | file | diff | annotate |