Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper protocol init (amending 065dcd80293e);
  2. clarified names;
  3. provide protocol handlers via isabelle_system_service;
  4. prefer formal name;
Changeset 72158:cafe00f2161e by wenzelm:
proper protocol init (amending 065dcd80293e);
The file was modified src/Pure/System/isabelle_process.ML (diff)
Changeset 72157:d1ca82e27cbc by wenzelm:
clarified names;
The file was modified etc/settings (diff)
The file was modified src/Pure/ML/ml_statistics.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 72156:065dcd80293e by wenzelm:
provide protocol handlers via isabelle_system_service;
The file was modified etc/settings (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol_handlers.scala (diff)
The file was modified src/Pure/PIDE/session.ML (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/System/isabelle_process.ML (diff)
The file was modified src/Pure/System/scala.ML (diff)
The file was modified src/Pure/Tools/print_operation.ML (diff)
The file was modified src/Pure/Tools/simplifier_trace.ML (diff)
Changeset 72155:837b86b214d3 by wenzelm:
prefer formal name;
The file was modified src/Pure/Tools/print_operation.scala (diff)