Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
  2. tuned signature;
  3. tuned signature;
  4. clarified modules;
Changeset 69015:5eb493b51bf6 by wenzelm:
more generous timeout: avoid sporadic failure in highly parallel headless PIDE session;
The file was modified src/HOL/ex/Argo_Examples.thy (diff)
Changeset 69014:a2c042364efc by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 69013:bb4e4c253ebe by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 69012:c91d14ab065f by wenzelm:
clarified modules;
The file was addedsrc/Pure/PIDE/headless.scala
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/Thy/thy_resources.scala