Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. tuned;
Changeset 80094:5af76462e3a5 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Admin/ci_build.scala

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

Summary

  1. tuned;
  2. tuned error messages;
Changeset 14256:05b5fea0d115 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified tools/afp_check_roots.scala
The file was modified tools/afp_site_gen.scala
Changeset 14255:14d24fbe8ffa by fabian huch _huch@in.tum.de_:
tuned error messages;
The file was modified tools/afp_check_roots.scala