Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned docs
  2. tuned final stop in message
Changeset 63729:89b6d339c6c4 by blanchet:
tuned docs
The file was modified src/Doc/Nitpick/document/root.tex (diff)
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 63728:4e078ae3682c by blanchet:
tuned final stop in message
The file was modified src/Tools/solve_direct.ML (diff)