isabelle: Changelog

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;

wenzelm [Thu, 20 Apr 2017 17:50:31 +0200] rev 65527

more global theories;

wenzelm [Thu, 20 Apr 2017 17:45:42 +0200] rev 65526

actual update_imports operations;

wenzelm [Thu, 20 Apr 2017 17:34:31 +0200] rev 65525

more operations;

wenzelm [Thu, 20 Apr 2017 15:00:32 +0200] rev 65524

tuned signature;

wenzelm [Thu, 20 Apr 2017 14:59:57 +0200] rev 65523

more operations;

wenzelm [Thu, 20 Apr 2017 11:38:42 +0200] rev 65522

tuned signature;

isabelle