isabelle: Changelog

paulson <lp15@cam.ac.uk> [Sun, 08 Jul 2018 23:35:33 +0100] rev 68605

removal of smt

paulson <lp15@cam.ac.uk> [Sun, 08 Jul 2018 16:07:26 +0100] rev 68604

elimination of some "smt"

paulson <lp15@cam.ac.uk> [Sun, 08 Jul 2018 11:00:20 +0100] rev 68603

De-applying

paulson [Sat, 07 Jul 2018 15:07:46 +0100] rev 68602

merged

paulson <lp15@cam.ac.uk> [Sat, 07 Jul 2018 15:07:37 +0100] rev 68601

de-applying, etc.

nipkow [Fri, 06 Jul 2018 22:52:49 +0200] rev 68600

more symmetric

wenzelm [Fri, 06 Jul 2018 21:19:24 +0200] rev 68599

prefer HTTPS;

wenzelm [Fri, 06 Jul 2018 16:29:47 +0200] rev 68598

just one global lock for group status: avoid proliferation of mutexes, condvars;

wenzelm [Fri, 06 Jul 2018 15:35:48 +0200] rev 68597

more frugal assignment of lazy value: fewer mutexes, condvars; cannot use RunCall.clearMutableBit due to spurious crashes;

paulson <lp15@cam.ac.uk> [Fri, 06 Jul 2018 10:44:45 +0100] rev 68596

replaced subgroup_imp_subset in Modules

isabelle