Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. include arm64-linux;
  2. updated to Vampire 4.6, as proposed by Martin Desharnais;
  3. build from official downloads;
  4. build just one vampire version;
  5. clarified signature;
Changeset 74467:149c8ba1ebb2 by wenzelm:
include arm64-linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74466:d4c2a9191cd1 by wenzelm:
updated to Vampire 4.6, as proposed by Martin Desharnais;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
Changeset 74465:981e3b6b08a5 by wenzelm:
build from official downloads;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 74464:c30906fbbe91 by wenzelm:
build just one vampire version;
The file was modified src/Pure/Admin/build_vampire.scala (diff)
Changeset 74463:7cc59201157d by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/toplevel.ML (diff)