Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
Changeset 80092:1a9f0159de5b by wenzelm:
merged
Changeset 80091:36389d25d33e by wenzelm:
rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
The file was modified src/Doc/Nitpick/document/root.tex
The file was modified src/Doc/Sledgehammer/document/root.tex