Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update to jdk-17.0.6; proper executables for Windows; enforce rebuild of Isabelle/ML and Isabelle/Scala;
  2. proper cleanup;
  3. avoid odd suffix in published HTML library;
  4. tuned signature: avoid aliases;
  5. tuned message;
  6. tuned;
  7. tuned signature;
  8. clarified modules (again, in contrast to f8f065e20837);
  9. support IPC via database server;
  10. proper signature;
  11. support specific connection types, for additional operations;
Changeset 77047:39f8051f71d4 by wenzelm:
update to jdk-17.0.6;<br>proper executables for Windows;<br>enforce rebuild of Isabelle/ML and Isabelle/Scala;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 77046:671ca79e2644 by wenzelm:
proper cleanup;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 77045:f51b0b54b20b by wenzelm:
avoid odd suffix in published HTML library;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 77044:a4380a2d6d2c by wenzelm:
tuned signature: avoid aliases;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77043:daf13aec9f04 by wenzelm:
tuned message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 77042:67da045668cc by wenzelm:
tuned;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77041:4adee07a5e48 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77040:96879e303ea3 by wenzelm:
clarified modules (again, in contrast to f8f065e20837);
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 77039:2f09dc0e6dda by wenzelm:
support IPC via database server;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 77038:7b5b1789a34c by wenzelm:
proper signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 77037:164a21e5d568 by wenzelm:
support specific connection types, for additional operations;
The file was modified src/Pure/General/sql.scala (diff)