Changes

Summary

tweaked generation of Isar proofs
tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s
tuned comments;
updated to sumatra_pdf-3.4.6;
proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;

Changeset 75873:5f7d22354a65 by blanchet: tweaked generation of Isar proofs
The file was modified	`NEWS` (diff)
The file was modified	`src/Doc/Sledgehammer/document/root.tex` (diff)
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML` (diff)
Changeset 75872:8bfad7bc74cb by blanchet: tweak Sledgehammer's slicing mechanism -- updated Zipperposition's slices and make them half as long as other provers' to pack more of them in 30 s
The file was modified	`src/Doc/Sledgehammer/document/root.tex` (diff)
The file was modified	`src/HOL/Tools/SMT/smt_systems.ML` (diff)
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer.ML` (diff)
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML` (diff)
The file was modified	`src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML` (diff)
Changeset 75871:648fe09330f3 by wenzelm: tuned comments;
The file was modified	`Admin/components/windows` (diff)
Changeset 75870:2bf1210eeef1 by wenzelm: updated to sumatra_pdf-3.4.6;
The file was modified	`Admin/components/components.sha1` (diff)
The file was modified	`Admin/components/windows` (diff)
Changeset 75869:ee2f93fa2440 by wenzelm: proper Java/Scala compiler classpath (amending b42e20adaeed): ISABELLE_SETUP_CLASSPATH must not be included prematurely (breaks on Windows), instead use runtime Classpath().jars;
The file was modified	`Admin/components/components.sha1` (diff)
The file was modified	`Admin/components/main` (diff)
The file was modified	`src/Pure/Tools/scala_build.scala` (diff)
The file was modified	`src/Tools/Setup/src/Build.java` (diff)