Summary
- merged
- adapted to Isabelle/457e4fbed731;
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 | admin/jenkins/ci_build_afp.scala (diff) |
The file was modified | admin/jenkins/ci_build_slow.scala (diff) |