Summary
- tuned docs
- tuned final stop in message
The file was modified | src/Doc/Nitpick/document/root.tex (diff) |
The file was modified | src/Doc/Sledgehammer/document/root.tex (diff) |
The file was modified | src/Tools/solve_direct.ML (diff) |
The file was modified | src/Doc/Nitpick/document/root.tex (diff) |
The file was modified | src/Doc/Sledgehammer/document/root.tex (diff) |
The file was modified | src/Tools/solve_direct.ML (diff) |