Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid problems with launch4j and jdk-17;
  2. update to jdk-17+35 (LTS);
  3. tuned message;
  4. unused since 398b7bb9ebdd;
  5. merged
  6. removed checks for non-commercial usage of Vampire as it is now under BSD licence
  7. enabled FOOL for Vampire in Sledgehammer
  8. used Vampire 4.5.1 in Sledgehammer
  9. proper NEWS;
  10. tuned NEWS;
Changeset 74357:41d009462d3c by wenzelm:
avoid problems with launch4j and jdk-17;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 74356:2a3fe3489bae by wenzelm:
update to jdk-17+35 (LTS);
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.scala (diff)
Changeset 74355:f77474665b2f by wenzelm:
tuned message;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/Setup/src/Build.java (diff)
Changeset 74354:4f5e67b247e1 by wenzelm:
unused since 398b7bb9ebdd;
The file was modified Admin/components/main (diff)
Changeset 74353:783382bbd2b9 by desharna:
merged
Changeset 74352:fb8ce6090437 by desharna:
removed checks for non-commercial usage of Vampire as it is now under BSD licence
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_commands.ML (diff)
The file was modified src/HOL/Tools/etc/options (diff)
Changeset 74351:d8dbe7525ff1 by desharna:
enabled FOOL for Vampire in Sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 74350:398b7bb9ebdd by desharna:
used Vampire 4.5.1 in Sledgehammer
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 74349:4974c3697fee by wenzelm:
proper NEWS;
The file was modified NEWS (diff)
Changeset 74348:cdf8952a86d5 by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)