Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated Sledgehammer docs
  2. added veriT component
Changeset 66735:5887ae5b95a8 by blanchet:
updated Sledgehammer docs
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 66734:ea5bd1347d26 by blanchet:
added veriT component
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)