Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. provide zipperposition-2.1 (still unused);
  2. tuned docs
Changeset 74368:ac90d6c6c149 by wenzelm:
provide zipperposition-2.1 (still unused);
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_zipperposition.scala (diff)
Changeset 74367:ba30067b7259 by blanchet:
tuned docs
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)