Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
  2. updated to latest latex due to new mechanism for dealing with bold ccfonts
Changeset 73512:e52a9b208481 by wenzelm:
support sequential LaTeX jobs: more robust when TeX installation is self-installing packages etc.;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Concurrent/par_list.scala (diff)
Changeset 73511:2cdbb6a2f2a7 by nipkow:
updated to latest latex due to new mechanism for dealing with bold ccfonts
The file was modified src/Doc/Prog_Prove/Basics.thy (diff)
The file was modified src/Doc/Prog_Prove/Bool_nat_list.thy (diff)
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
The file was modified src/Doc/Prog_Prove/document/prelude.tex (diff)