Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper print mode for function_space notation (amending d68b705719ce);
  2. proper file name (amending ce3409dfb18c);
Changeset 71460:8f628d216ea1 by wenzelm:
proper print mode for function_space notation (amending d68b705719ce);
The file was modified src/ZF/ZF_Base.thy (diff)
Changeset 71459:4876e6f62fe5 by wenzelm:
proper file name (amending ce3409dfb18c);
The file was modified Admin/Linux/Isabelle_app (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)