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 generous timeout, to make it work with threads=1;
Changeset 14514:d2d2f67aba37 by wenzelm:
more generous timeout, to make it work with threads=1;
The file was modified thys/EnrichedCategoryBasics/ROOT
The file was modified thys/Frequency_Moments/ROOT
The file was modified thys/Isabelle_Marries_Dirac/ROOT
The file was modified thys/ResiduatedTransitionSystem2/ROOT