isabelle: Changelog

nipkow [Fri, 17 Nov 2017 12:59:18 +0100] rev 67079

tuned

haftmann [Thu, 16 Nov 2017 11:30:23 +0100] rev 67078

removed overambitious simp rules from e7e54a0b9197

Lars Hupel <lars.hupel@mytum.de> [Tue, 14 Nov 2017 23:07:47 +0100] rev 67077

merged

Lars Hupel <lars.hupel@mytum.de> [Tue, 14 Nov 2017 16:09:59 +0100] rev 67076

instantiation char :: full_exhaustive by Andreas Lochbihler

wenzelm [Tue, 14 Nov 2017 21:16:57 +0100] rev 67075

avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;

wenzelm [Tue, 14 Nov 2017 20:12:47 +0100] rev 67074

slightly faster than Poly/ML 5.7.1 library implementation, notably on 32bit multicore (amending 2288cc39b038)

nipkow [Tue, 14 Nov 2017 16:17:08 +0100] rev 67073

merged

nipkow [Tue, 14 Nov 2017 13:12:48 +0100] rev 67072

merged

nipkow [Tue, 14 Nov 2017 13:12:13 +0100] rev 67071

tuned

wenzelm [Tue, 14 Nov 2017 13:56:38 +0100] rev 67070

removed pointless user_home: no measurable impact;

isabelle