Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned -- use existing operation;
Changeset 68409:c8c3136e3ba7 by wenzelm:
tuned -- use existing operation;
The file was modified src/Pure/System/isabelle_system.scala (diff)