Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and clarification;
  2. tuned signature;
Changeset 73578:629868f96c81 by wenzelm:
misc tuning and clarification;
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/message_channel.ML (diff)
Changeset 73577:6c8fc3c038eb by wenzelm:
tuned signature;
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/message_channel.ML (diff)