isabelle: Changelog

wenzelm [Fri, 21 Apr 2017 16:48:12 +0200] rev 65537

proper "~~" backup as documented;

wenzelm [Fri, 21 Apr 2017 16:45:32 +0200] rev 65536

clarified: explicit check of result;

wenzelm [Fri, 21 Apr 2017 16:12:11 +0200] rev 65535

clarified imports;

wenzelm [Fri, 21 Apr 2017 15:26:24 +0200] rev 65534

clarified local_theories: exclude ancestor sessions;

wenzelm [Fri, 21 Apr 2017 15:00:31 +0200] rev 65533

more standard master_dir;

wenzelm [Fri, 21 Apr 2017 14:09:03 +0200] rev 65532

eliminated default_qualifier: just a constant;

wenzelm [Fri, 21 Apr 2017 13:51:43 +0200] rev 65531

more uniform isabelle_scala; more uniform ISABELLE_SCALAC_OPTIONS with heap options;

wenzelm [Fri, 21 Apr 2017 11:38:45 +0200] rev 65530

include imports that morally belong to Main and are used in HOL-Proofs applications;

wenzelm [Fri, 21 Apr 2017 11:21:59 +0200] rev 65529

tuned;

wenzelm [Fri, 21 Apr 2017 10:59:07 +0200] rev 65528

proper theory_qualifier;

isabelle