Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified versions for documentation;
  2. merged
  3. clarified signature: avoid hardwired values;
  4. clarified IPC via database server: receive notifications quasi-spontaneously via auxiliary thread;
  5. minor performance tuning: just 1 transaction for slices <= 1;
  6. tuned;
  7. tuned whitespace;
  8. tuned signature;
  9. clarified signature: fewer warnings in IntelliJ IDEA;
  10. removed unused database_server (amending 32ca3d1283de);
  11. timing function generation bug fix by Jonas Stahl
Changeset 79724:54d0f6edfe3a by wenzelm:
clarified versions for documentation;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79723:aa77ebb2dc16 by wenzelm:
merged
Changeset 79722:5938158733bb by wenzelm:
clarified signature: avoid hardwired values;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79721:a5629eade476 by wenzelm:
clarified IPC via database server: receive notifications quasi-spontaneously via auxiliary thread;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79720:deb3056ed823 by wenzelm:
minor performance tuning: just 1 transaction for slices &lt;= 1;
The file was modified src/Pure/ML/ml_heap.scala (diff)
Changeset 79719:8544f1045123 by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_heap.scala (diff)
Changeset 79718:fba02e281b44 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Build/build_job.scala (diff)
The file was modified src/Pure/System/host.scala (diff)
Changeset 79717:da4e82434985 by wenzelm:
tuned signature;
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_process.scala (diff)
The file was modified src/Pure/General/http.scala (diff)
The file was modified src/Pure/General/uuid.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/System/system_channel.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Tools/VSCode/src/component_vscode_extension.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 79716:f33d37c171a9 by wenzelm:
clarified signature: fewer warnings in IntelliJ IDEA;
The file was modified src/Pure/Concurrent/isabelle_thread.scala (diff)
Changeset 79715:e59d93da9109 by wenzelm:
removed unused database_server (amending 32ca3d1283de);
The file was modified src/Pure/Build/build.scala (diff)
Changeset 79714:80cb54976c1c by nipkow:
timing function generation bug fix by Jonas Stahl
The file was modified src/HOL/Data_Structures/Define_Time_Function.ML (diff)