Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. share cache for parallel sessions;
  3. clarified signature;
  4. more caching, notably for build/pide_session;
  5. removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
  6. tuned --- avoid error in IntelliJ IDEA;
Changeset 71972:9d98a39aa509 by wenzelm:
merged
Changeset 71971:34be842f3531 by wenzelm:
share cache for parallel sessions;
The file was modified src/Pure/Thy/sessions.scala
The file was modified src/Pure/Tools/build.scala
Changeset 71970:67fb92378224 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/protocol_handlers.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/Tools/build.scala
Changeset 71969:842dd262540b by wenzelm:
more caching, notably for build/pide_session;
The file was modified src/Pure/PIDE/prover.scala
Changeset 71968:ec0ef3ebe75e by wenzelm:
removed pointless pide_exports: unused during "build_session" process (reverting 6a64205b491a);
The file was modified etc/options
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/Tools/build.scala
Changeset 71967:65ad3a6cee81 by wenzelm:
tuned --- avoid error in IntelliJ IDEA;
The file was modified src/Pure/Admin/build_history.scala