isabelle: Changelog

wenzelm [Sat, 03 Mar 2018 15:19:25 +0100] rev 67757

clarified signature;

wenzelm [Sat, 03 Mar 2018 15:09:36 +0100] rev 67756

clarified self_update: imitate visible directory state on remote side;

wenzelm [Sat, 03 Mar 2018 14:54:56 +0100] rev 67755

more operations;

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;

isabelle