17 months ago wenzelm [Sun, 26 Nov 2017 13:19:52 +0100] rev 67090
clarified lazy lexicons within Keywords: measurable speedup of Sessions.deps;
src/Pure/Isar/keyword.scala

17 months ago wenzelm [Sat, 25 Nov 2017 15:22:17 +0100] rev 67089
macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
src/Pure/Admin/isabelle_cronjob.scala

17 months ago wenzelm [Sat, 25 Nov 2017 15:21:02 +0100] rev 67088
Mac OS X 10.10 Yosemite is baseline;
Admin/PLATFORMS NEWS

17 months ago haftmann [Thu, 23 Nov 2017 17:03:27 +0000] rev 67087
generalized more lemmas
src/HOL/Euclidean_Division.thy src/HOL/Number_Theory/Cong.thy

17 months ago haftmann [Thu, 23 Nov 2017 17:03:26 +0000] rev 67086
tuned
src/HOL/Number_Theory/Cong.thy

17 months ago haftmann [Thu, 23 Nov 2017 17:03:21 +0000] rev 67085
tuned and generalized
src/HOL/Number_Theory/Cong.thy

17 months ago haftmann [Thu, 23 Nov 2017 17:03:20 +0000] rev 67084
tuned
src/HOL/Rings.thy

17 months ago haftmann [Thu, 23 Nov 2017 13:00:00 +0000] rev 67083
new simp rule
src/HOL/Divides.thy src/HOL/Euclidean_Division.thy src/HOL/Number_Theory/Euler_Criterion.thy src/HOL/Parity.thy

17 months ago eberlm <eberlm@in.tum.de> [Tue, 21 Nov 2017 17:18:10 +0100] rev 67082
Facts about complex n-th roots
src/HOL/Complex.thy

17 months ago nipkow [Tue, 21 Nov 2017 14:11:31 +0100] rev 67081
more lemmas
src/HOL/List.thy