Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned LaTeX
  2. import package that might help on some machines (e.g., macbroy2)
Changeset 62816:19387866eace by blanchet:
tuned LaTeX
The file was modified src/Doc/Corec/Corec.thy (diff)
The file was modified src/Doc/Corec/document/root.tex (diff)
The file was modified src/Doc/Datatypes/document/root.tex (diff)
Changeset 62815:d0fc75798baf by blanchet:
import package that might help on some machines (e.g., macbroy2)
The file was modified src/Doc/Corec/document/root.tex (diff)
The file was modified src/Doc/Datatypes/document/root.tex (diff)