Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. more realistic timeout, based on CPU time;
  2. adapted to Isabelle/9a60c1759543;
Changeset 13343:32cb23152334 by wenzelm:
more realistic timeout, based on CPU time;
The file was modified thys/CZH_Elementary_Categories/ROOT
Changeset 13342:96cce49d33a6 by wenzelm:
adapted to Isabelle/9a60c1759543;
The file was modified thys/ZFC_in_HOL/ZFC_in_HOL.thy