src/Pure/Tools/ci_api.scala
2016-10-08 wenzelm 2016-10-08 tuned signature;
2016-10-07 wenzelm 2016-10-07 clarified signature;
2016-10-06 wenzelm 2016-10-06 misc tuning and clarification;
2016-10-05 wenzelm 2016-10-05 clarified modules;
2016-10-04 wenzelm 2016-10-04 clarified modules;
2016-10-04 wenzelm 2016-10-04 check session name;
2016-10-04 wenzelm 2016-10-04 tuned signature;
2016-10-02 wenzelm 2016-10-02 updated headers;
2016-08-09 wenzelm 2016-08-09 API for Isabelle Jenkins continuous integration services;