Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. treat sessions as entities with defining position; tuned signature;
  3. options file for x86_64 only (amending 03a96b8c7c06);
  4. updated to jdk-8u162;
  5. more robust java.ext.dirs: avoid picking up accidental jars from system directories;
  6. drop redundant cong rules
Changeset 67494:b8e093f7a802 by wenzelm:
merged
Changeset 67493:c4e9e0c50487 by wenzelm:
treat sessions as entities with defining position;<br>tuned signature;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/ML/ml_syntax.scala (diff)
The file was modified src/Pure/PIDE/protocol.ML (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 67492:954f44210b92 by wenzelm:
options file for x86_64 only (amending 03a96b8c7c06);
The file was modified Admin/Linux/Isabelle.run (diff)
Changeset 67491:59527ee2d6da by wenzelm:
updated to jdk-8u162;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 67490:982f0bf34804 by wenzelm:
more robust java.ext.dirs: avoid picking up accidental jars from system directories;
The file was modified Admin/Linux/Isabelle.run (diff)
The file was modified Admin/MacOS/Info.plist-part2 (diff)
The file was modified Admin/Windows/launch4j/isabelle.xml (diff)
The file was modified bin/isabelle_java (diff)
The file was modified lib/Tools/java (diff)
The file was modified lib/Tools/scala (diff)
The file was modified lib/Tools/scalac (diff)
Changeset 67489:f1ba59ddd9a6 by lars hupel _lars.hupel@mytum.de_:
drop redundant cong rules
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)