isabelle: Changelog

wenzelm [Sat, 05 Mar 2016 13:53:08 +0100] rev 62517

unused;

wenzelm [Sat, 05 Mar 2016 13:51:21 +0100] rev 62516

tuned signature -- clarified modules;

wenzelm [Sat, 05 Mar 2016 13:25:41 +0100] rev 62515

avoid spam in position reports;

wenzelm [Sat, 05 Mar 2016 12:49:47 +0100] rev 62514

tuned signature;

wenzelm [Fri, 26 Feb 2016 22:38:44 +0100] rev 62513

take qualification of type name more seriously: derived consts and facts are qualified uniformly;

wenzelm [Thu, 03 Mar 2016 23:33:41 +0100] rev 62512

merged

wenzelm [Thu, 03 Mar 2016 23:33:22 +0100] rev 62511

simplified;

wenzelm [Thu, 03 Mar 2016 22:24:58 +0100] rev 62510

obsolete;

wenzelm [Thu, 03 Mar 2016 22:16:52 +0100] rev 62509

isabelle console -r" helps to bootstrap Isabelle/Pure;

wenzelm [Thu, 03 Mar 2016 21:59:21 +0100] rev 62508

discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;

isabelle