Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: more uniform theory_message (see also d7920eb7de54);
  2. tuned -- use existing operation;
Changeset 68410:4e27f5c361d2 by wenzelm:
clarified signature: more uniform theory_message (see also d7920eb7de54);
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
Changeset 68409:c8c3136e3ba7 by wenzelm:
tuned -- use existing operation;
The file was modified src/Pure/System/isabelle_system.scala (diff)