Changes

Summary

discontinued Linux 32bit platform support;
obsolete;
merged
updated to jdk-8u152, which is for x86_64 only;
added lemma
minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;

Changeset 66909:9eaa9504991b by wenzelm: discontinued Linux 32bit platform support;
The file was modified	`NEWS` (diff)
Changeset 66908:9b074f01a305 by wenzelm: obsolete;
The file was modified	`Admin/PLATFORMS` (diff)
The file was modified	`Admin/Release/CHECKLIST` (diff)
The file was modified	`Admin/lib/Tools/makedist_bundle` (diff)
Changeset 66907:603a00f21817 by wenzelm: merged
Changeset 66906:03a96b8c7c06 by wenzelm: updated to jdk-8u152, which is for x86_64 only;
The file was modified	`Admin/components/components.sha1` (diff)
The file was modified	`Admin/components/main` (diff)
The file was modified	`Admin/lib/Tools/makedist_bundle` (diff)
The file was modified	`NEWS` (diff)
The file was modified	`bin/isabelle` (diff)
The file was modified	`bin/isabelle_java` (diff)
The file was modified	`etc/settings` (diff)
The file was modified	`lib/Tools/console` (diff)
The file was modified	`lib/Tools/java` (diff)
The file was modified	`lib/Tools/scala` (diff)
The file was modified	`src/Doc/System/Environment.thy` (diff)
The file was modified	`src/Pure/Admin/build_jdk.scala` (diff)
The file was modified	`src/Pure/Tools/build_docker.scala` (diff)
The file was modified	`src/Tools/jEdit/etc/settings` (diff)
The file was modified	`src/Tools/jEdit/lib/Tools/jedit` (diff)
The file was modified	`src/Tools/jEdit/lib/Tools/jedit_client` (diff)
Changeset 66905:0d31dfa96aba by nipkow: added lemma
The file was modified	`src/HOL/List.thy` (diff)
Changeset 66904:d9783ea1160c by wenzelm: minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
The file was modified	`src/Pure/Concurrent/lazy.ML` (diff)