Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapted to Isabelle/8cd54b18b68b;
Changeset 7771:a57cc7f17125 by wenzelm:
adapted to Isabelle/8cd54b18b68b;
The file was modified admin/jenkins/ci_build_afp.scala (diff)
The file was modified admin/jenkins/ci_build_slow.scala (diff)
The file was modified tools/afp_check_roots.scala (diff)