isabelle: Changelog

wenzelm [Thu, 27 Aug 2020 12:43:06 +0200] rev 72213

tuned;

wenzelm [Thu, 27 Aug 2020 12:34:10 +0200] rev 72212

clarified signature;

paulson <lp15@cam.ac.uk> [Wed, 26 Aug 2020 15:59:21 +0100] rev 72211

tiny tidy-up of proofs

wenzelm [Tue, 25 Aug 2020 23:21:38 +0200] rev 72210

updated to scala-2.12.12;

wenzelm [Tue, 25 Aug 2020 22:56:34 +0200] rev 72209

updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;

wenzelm [Tue, 25 Aug 2020 15:14:46 +0200] rev 72208

NEWS;

wenzelm [Tue, 25 Aug 2020 15:02:56 +0200] rev 72207

test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster;

wenzelm [Tue, 25 Aug 2020 14:55:33 +0200] rev 72206

updated to kodkodi-1.5.6: more robust treatment of interrupt;

wenzelm [Tue, 25 Aug 2020 14:54:41 +0200] rev 72205

removed pointless version checks: Isabelle component integration does the job already;

wenzelm [Tue, 25 Aug 2020 13:44:09 +0200] rev 72204

more robust treatment of execution with interrupts; tuned comments;

isabelle