isabelle: Changelog

wenzelm [Thu, 27 Aug 2020 15:16:56 +0200] rev 72216

clarified treatment of add-on prover_options;

wenzelm [Thu, 27 Aug 2020 13:06:58 +0200] rev 72215

clarified signature;

wenzelm [Thu, 27 Aug 2020 12:51:57 +0200] rev 72214

clarified modules;

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;

isabelle