isabelle: Changelog

wenzelm [Sat, 03 Mar 2018 14:27:33 +0100] rev 67754

self_update implies push_isabelle_home (see also 4c253e84ae62);

wenzelm [Sat, 03 Mar 2018 13:23:09 +0100] rev 67753

uniform setup_repository (pull/clone without update); tuned signature;

wenzelm [Sat, 03 Mar 2018 13:06:33 +0100] rev 67752

clarified signature: facilitate interactive experimentation;

wenzelm [Sat, 03 Mar 2018 12:54:22 +0100] rev 67751

clarified tasks;

wenzelm [Sat, 03 Mar 2018 12:12:06 +0100] rev 67750

tuned signature;

wenzelm [Fri, 02 Mar 2018 20:46:25 +0100] rev 67749

proper order;

wenzelm [Fri, 02 Mar 2018 20:32:39 +0100] rev 67748

clarified README;

wenzelm [Fri, 02 Mar 2018 19:14:35 +0100] rev 67747

merged

wenzelm [Fri, 02 Mar 2018 18:57:55 +0100] rev 67746

more ssh options;

wenzelm [Fri, 02 Mar 2018 18:45:11 +0100] rev 67745

support for proxy connection, similar to ProxyCommand in ssh config;

isabelle