isabelle: Changelog

wenzelm [Mon, 27 Aug 2018 19:12:48 +0200] rev 68821

explicit setup of operations: avoid hardwired stuff;

wenzelm [Mon, 27 Aug 2018 17:30:13 +0200] rev 68820

clarified environment: allow "read>write" specification;

wenzelm [Mon, 27 Aug 2018 17:26:14 +0200] rev 68819

tuned;

wenzelm [Mon, 27 Aug 2018 15:18:18 +0200] rev 68818

tuned;

wenzelm [Mon, 27 Aug 2018 15:01:52 +0200] rev 68817

check environment name;

wenzelm [Mon, 27 Aug 2018 14:42:24 +0200] rev 68816

support named ML environments, notably "Isabelle", "SML"; more uniform options ML_read_global, ML_write_global; clarified bootstrap environment;

wenzelm [Mon, 27 Aug 2018 14:31:52 +0200] rev 68815

tuned;

wenzelm [Sun, 26 Aug 2018 17:48:35 +0200] rev 68814

tuned;

wenzelm [Sun, 26 Aug 2018 17:28:38 +0200] rev 68813

clarified signature;

wenzelm [Sun, 26 Aug 2018 15:39:34 +0200] rev 68812

clarified -- prefer new 'ML_export' command;

isabelle