Admin/etc/settings
2016-08-09 wenzelm 2016-08-09 API for Isabelle Jenkins continuous integration services;
2012-08-08 wenzelm 2012-08-08 configure Admin as component, with its own lib/Tools;