Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
  2. obsolete;
  3. tuned;
  4. clarified name and options for old vampire-4.2.2;
  5. clarified signature;
Changeset 74314:c645d973f881 by wenzelm:
provide current vampire-4.5.1: presently unused in Sledgehammer, but relevant for Isabelle/Naproche;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74313:6b998ce1b8cb by wenzelm:
obsolete;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 74312:7b860fa1140f by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 74311:19022ea3f8cc by wenzelm:
clarified name and options for old vampire-4.2.2;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Tools/Sledgehammer/sledgehammer_atp_systems.ML (diff)
Changeset 74310:d7a62db70a07 by wenzelm:
clarified signature;
The file was modified src/Tools/Haskell/Haskell.thy (diff)