| Wed, 26 Jun 2024 19:55:56 +0200 | Fabian Huch | remove unused Jenkins component; | file | diff | annotate |
| Tue, 09 Aug 2016 23:26:51 +0200 | wenzelm | API for Isabelle Jenkins continuous integration services; | file | diff | annotate |
| Wed, 08 Aug 2012 10:56:37 +0200 | wenzelm | configure Admin as component, with its own lib/Tools; | file | diff | annotate |