Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. tuned;
  2. merged
  3. clarified signature: just one level of arguments to avoid type-inference problems;
  4. tuned signature: more operations;
  5. tuned;
  6. clarified signature;
Changeset 76595:5af17ce5d297 by wenzelm:
tuned;
The file was modified src/Pure/General/timing.scala
Changeset 76594:186dcfe746e3 by wenzelm:
merged
Changeset 76593:badb5264f7b9 by wenzelm:
clarified signature: just one level of arguments to avoid type-inference problems;
The file was modified src/Pure/General/logger.scala
The file was modified src/Pure/General/timing.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Pure/System/progress.scala
Changeset 76592:ec8bf1268f45 by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/General/logger.scala
The file was modified src/Pure/General/timing.scala
The file was modified src/Pure/System/progress.scala
Changeset 76591:b9a7a658f7df by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/vscode_resources.scala
Changeset 76590:3fc3c7c285cd by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/resources.scala
The file was modified src/Pure/PIDE/session.scala
The file was modified src/Tools/VSCode/src/language_server.scala
The file was modified src/Tools/VSCode/src/vscode_resources.scala
The file was modified src/Tools/jEdit/src/jedit_resources.scala
The file was modified src/Tools/jEdit/src/main_plugin.scala