Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. asynchronous "session_build";
  2. support for asynchronous tasks, with "cancel" command;
  3. tuned signature;
  4. more informative JSON results;
  5. more informative error with JSON result; tuned signature;
  6. tuned signature;
  7. misc tuning and clarification;
Changeset 67861:cd1cac824ef8 by wenzelm:
asynchronous "session_build";
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67860:5a6c483269f3 by wenzelm:
support for asynchronous tasks, with "cancel" command;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67859:612846bff1ea by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67858:cba5c5657378 by wenzelm:
more informative JSON results;
The file was modified src/Pure/General/timing.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67857:262d62a4c32b by wenzelm:
more informative error with JSON result;<br>tuned signature;
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67856:ec9f1ec763a0 by wenzelm:
tuned signature;
The file was modified src/Tools/VSCode/src/channel.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
Changeset 67855:b9fae46f497b by wenzelm:
misc tuning and clarification;
The file was modified src/HOL/Filter.thy (diff)