Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned message: same error may occur in different contexts;
Changeset 67483:aae933ca6fbd by wenzelm:
tuned message: same error may occur in different contexts;
The file was modified src/Pure/Thy/latex.scala (diff)