isabelle: Changelog

wenzelm [Sat, 15 Oct 2016 15:14:46 +0200] rev 64223

remove invocation of build_history: results are reported via stdout;

wenzelm [Sat, 15 Oct 2016 14:15:29 +0200] rev 64222

clarified signature;

wenzelm [Sat, 15 Oct 2016 13:07:54 +0200] rev 64221

identify release;

wenzelm [Sat, 15 Oct 2016 11:38:03 +0200] rev 64220

prefer Isabelle standard Path;

wenzelm [Sat, 15 Oct 2016 11:26:31 +0200] rev 64219

clarified logs;

wenzelm [Sat, 15 Oct 2016 11:18:46 +0200] rev 64218

publish directly on webspace;

Lars Hupel <lars.hupel@mytum.de> [Sat, 15 Oct 2016 10:45:55 +0200] rev 64217

Jenkins: don't build in system mode

wenzelm [Fri, 14 Oct 2016 22:45:29 +0200] rev 64216

merged

wenzelm [Fri, 14 Oct 2016 21:35:02 +0200] rev 64215

cronjob: build release from repository snapshot;

wenzelm [Fri, 14 Oct 2016 21:34:52 +0200] rev 64214

more operations;

isabelle