Skip to content
Success

Changes

Summary

  1. merged
  2. proper close;
  3. separate host.db for independent db.transaction_lock;
  4. tuned comments;
  5. omit redundant data: already stored in progress database;
  6. tuned signature: more operations;
  7. proper support for SQLite: avoid conflicts on transaction_lock;
  8. minor performance tuning: avoid external process;
  9. clarified signature;
  10. obsolete;
  11. tuned;
  12. tuned signature;
  13. tuned signature;
  14. clarified signature;
  15. tuned;
  16. clarified signature;
  17. tuned;
  18. proper pattern (amending da5cc332ded3);
  19. tuned signature;
  20. proper hostname from build_context;
  21. prefer Database_Progress, which is more robust (amending afb1a19307c4);
  22. support for Database_Progress;
  23. tuned signature: more operations;
  24. tuned signature: more operations;
  25. tuned signature: more operations;
  26. clarified signature;
Changeset 78176:41a2c9d5cd5d by wenzelm:
merged
Changeset 78175:a081ad6c3c4b by wenzelm:
proper close;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78174:cc0bd66eb498 by wenzelm:
separate host.db for independent db.transaction_lock;
The file was modified src/Pure/System/host.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78173:c0ad1c0edd26 by wenzelm:
tuned comments;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78172:43ed2541b758 by wenzelm:
omit redundant data: already stored in progress database;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78171:412a24a4c751 by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/General/integer.ML (diff)
Changeset 78170:c85eeff78b33 by wenzelm:
proper support for SQLite: avoid conflicts on transaction_lock;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78169:5ad1ae8626de by wenzelm:
minor performance tuning: avoid external process;
The file was modified src/Pure/General/file.scala (diff)
Changeset 78168:8fbe3b3d665b by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78167:1b97502461a3 by wenzelm:
obsolete;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 78166:70041580b81e by wenzelm:
tuned;
The file was modified src/Pure/Tools/build_process.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 78165:d47b2a04fc04 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 78164:5454bec8f5c6 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 78163:c6d4b1a00ad7 by wenzelm:
clarified signature;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 78162:41a87c4ea765 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 78161:4b1b7cbb3e9a by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 78160:edd1d0bddb24 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 78159:25d448295f2b by wenzelm:
proper pattern (amending da5cc332ded3);
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78158:8b5a2e4b16d4 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/component_cvc5.scala (diff)
The file was modified src/Pure/Admin/component_cygwin.scala (diff)
The file was modified src/Pure/Admin/component_sqlite.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/dotnet_setup.scala (diff)
The file was modified src/Tools/VSCode/src/component_vscodium.scala (diff)
Changeset 78157:403e4d9a3768 by wenzelm:
proper hostname from build_context;
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78156:da5cc332ded3 by wenzelm:
prefer Database_Progress, which is more robust (amending afb1a19307c4);
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78155:54d6b2f75806 by wenzelm:
support for Database_Progress;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 78154:8a7df40375ae by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78153:55a6aa77f3d8 by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)
Changeset 78152:d4f387339494 by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 78151:2fdf3d8a94e6 by wenzelm:
clarified signature;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Tools/build_process.scala (diff)