Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. support for "use_theories";
  2. JSON representation for Position.T;
  3. interruptible exploration of dependencies;
  4. tuned signature;
  5. clarified signature;
  6. clarified signature;
  7. tuned message;
Changeset 67883:171e7735ce25 by wenzelm:
support for "use_theories";
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67882:7eb4c966e156 by wenzelm:
JSON representation for Position.T;
The file was modified src/Pure/General/position.scala (diff)
Changeset 67881:812ed06dadec by wenzelm:
interruptible exploration of dependencies;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67880:e59220a075de by wenzelm:
tuned signature;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/check_keywords.scala (diff)
Changeset 67879:e4903b803b8b by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67878:15027fb50a0c by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67877:ff12c4556e2f by wenzelm:
tuned message;
The file was modified src/Pure/Thy/thy_resources.scala (diff)