Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. Disabled index generation (until new LaTeX engines are available on build servers).
Changeset 14417:1fddb61f5455 by achim d. brucker _adbrucker@0x5f.org_:
Disabled index generation (until new LaTeX engines are available on build servers).
The file was modified thys/Isabelle_DOF/document/preamble.tex