Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. Added ORCID.
  2. Disabled index generation (until new LaTeX engines are available on build servers).
Changeset 14419:f8c6ffb8f7d4 by achim d. brucker _adbrucker@0x5f.org_:
Added ORCID.
The file was modified metadata/authors.toml
Changeset 14418:6ef9affdd412 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