Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
  3. clarified signature;
Changeset 76211:2802f6a4dd8b by wenzelm:
merged
Changeset 76210:e44e044dadb3 by wenzelm:
provide missing LaTeX macro, e.g. for AFP/PAC_Checker;
The file was modified lib/texinputs/isabellesym.sty
Changeset 76209:365f6a621fc5 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/build.scala