Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
  2. Isabelle/Phabricator supports Ubuntu 20.04 LTS;
  3. tuned --- make IntelliJ IDEA happy;
  4. tuned;
  5. Added smt (verit) to Sledgehammer's proof preplay. Tuned preplay multithreading.
  6. unified slots
  7. unified Local_Theory.init with Generic_Target.init
Changeset 72522:6e27af808c17 by wenzelm:
more privileges for the sake of mysqldump (avoid workaround --no-tablespaces);
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 72521:354bfab78cbf by wenzelm:
Isabelle/Phabricator supports Ubuntu 20.04 LTS;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 72520:581d9d74e1e4 by wenzelm:
tuned --- make IntelliJ IDEA happy;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 72519:f760554a5a29 by wenzelm:
tuned;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 72518:4be6ae020fc4 by desharna:
Added smt (verit) to Sledgehammer&#039;s proof preplay.<br>Tuned preplay multithreading.
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_util.ML (diff)
Changeset 72517:c2b643c9f2bf by haftmann:
unified slots
The file was modified src/Pure/Isar/local_theory.ML (diff)
Changeset 72516:17dc99589a91 by haftmann:
unified Local_Theory.init with Generic_Target.init
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/bundle.ML (diff)
The file was modified src/Pure/Isar/class.ML (diff)
The file was modified src/Pure/Isar/generic_target.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)
The file was modified src/Pure/Isar/overloading.ML (diff)