Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. less ambitious test;
  2. proper type for Poly/ML development version;
  3. more operations;
Changeset 64332:76a3e0f894fd by wenzelm:
less ambitious test;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64331:abf7b6e6865f by wenzelm:
proper type for Poly/ML development version;
The file was modified src/Pure/ML_Bootstrap.thy (diff)
Changeset 64330:d9a9ae3956f6 by wenzelm:
more operations;
The file was modified src/Pure/General/mercurial.scala (diff)