Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned signature;
  2. clarified signature;
  3. tuned;
Changeset 76615:b865959e2547 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/command_span.scala
Changeset 76614:ac08b6e3b9e3 by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/parse.ML
The file was modified src/Pure/Isar/parse.scala
The file was modified src/Pure/Thy/sessions.ML
The file was modified src/Pure/Thy/sessions.scala
Changeset 76613:b945e30b7471 by wenzelm:
tuned;
The file was modified src/Pure/Isar/parse.scala