Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
  3. Tiny tweaks to proofs
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 (diff)
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 80090:646cd337bb08 by paulson _lp15@cam.ac.uk_:
Tiny tweaks to proofs
The file was modified src/HOL/Complex_Analysis/Cauchy_Integral_Formula.thy (diff)
The file was modified src/HOL/Complex_Analysis/Conformal_Mappings.thy (diff)