isabelle: Changelog

wenzelm [Fri, 09 Sep 2022 20:48:18 +0200] rev 76100

unused;

wenzelm [Fri, 09 Sep 2022 20:20:06 +0200] rev 76099

update for release;

wenzelm [Fri, 09 Sep 2022 16:44:43 +0200] rev 76098

tuned: prefer Scala Regex operations;

wenzelm [Fri, 09 Sep 2022 14:47:42 +0200] rev 76097

tuning and updates for release;

wenzelm [Fri, 09 Sep 2022 14:09:06 +0200] rev 76096

NEWS;

wenzelm [Fri, 09 Sep 2022 14:03:29 +0200] rev 76095

discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);

wenzelm [Thu, 08 Sep 2022 22:59:21 +0200] rev 76094

give up show_main_goal (despite 922e3f9251ac): show_goal_inst is sufficient, even for final results;

wenzelm [Thu, 08 Sep 2022 22:35:50 +0200] rev 76093

merged

wenzelm [Thu, 08 Sep 2022 22:19:42 +0200] rev 76092

discontinue fragile operations;

wenzelm [Thu, 08 Sep 2022 22:06:06 +0200] rev 76091

proper context option: change of underlying Options.default will not survive PIDE "Prover.options" (e.g. change of Isabelle/jEdit plugin options);

isabelle