Summary
- merged
- treat sessions as entities with defining position; tuned signature;
- options file for x86_64 only (amending 03a96b8c7c06);
- updated to jdk-8u162;
- more robust java.ext.dirs: avoid picking up accidental jars from system directories;
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) |
The file was modified | Admin/Linux/Isabelle.run (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
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) |