isabelle: Changelog

wenzelm [Mon, 10 Oct 2016 10:33:52 +0200] rev 64126

connect session by default; tuned signature;

wenzelm [Mon, 10 Oct 2016 10:25:59 +0200] rev 64125

clarified (hardwired!) default (see also jEdit/FTP);

wenzelm [Mon, 10 Oct 2016 09:57:56 +0200] rev 64124

tuned comment;

wenzelm [Sun, 09 Oct 2016 23:08:40 +0200] rev 64123

support for SSH in Isabelle/Scala;

paulson <lp15@cam.ac.uk> [Mon, 10 Oct 2016 15:45:41 +0100] rev 64122

invariance of domain

wenzelm [Sun, 09 Oct 2016 16:27:01 +0200] rev 64121

enforce detailed build log;

wenzelm [Sun, 09 Oct 2016 16:24:54 +0200] rev 64120

record heap sizes;

wenzelm [Sun, 09 Oct 2016 15:28:18 +0200] rev 64119

inline session ML statistics into main build log; tuned;

wenzelm [Sun, 09 Oct 2016 14:19:46 +0200] rev 64118

modernized;

wenzelm [Sat, 08 Oct 2016 22:36:22 +0200] rev 64117

build_history log files with formal meta info;

isabelle