Skip to content
Success

Changes

Summary

  1. merged
  2. clarified directory layout;
  3. eliminated unused afp_pull_date table; tuned;
  4. slightly more compact file;
  5. produce build_log_snapshot, based on small prefix into pull_date history;
  6. omit parentheses for the sake of SQLite;
  7. more snapshot content;
  8. more robust;
  9. more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
  10. tuned signature;
  11. simplified: standard toString is SQL.ident;
  12. tuned;
  13. tuned signature;
  14. clarified signature;
  15. tuned signature;
  16. tuned signature;
  17. tuned signature;
  18. clarified modules;
  19. clarified pull_date tables; support for SQLite snapshot;
  20. views for full PostgreSQL database;
  21. eliminated redundant type SQL.View; eliminated unused DROP operations;
  22. tuned;
  23. tuned signature;
  24. tuned;
Changeset 65711:ff8a7f20ff32 by wenzelm:
merged
Changeset 65710:4326b165b401 by wenzelm:
clarified directory layout;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65709:1626b73daccf by wenzelm:
eliminated unused afp_pull_date table;<br>tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65708:50a61990c01e by wenzelm:
slightly more compact file;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65707:353b965378cf by wenzelm:
produce build_log_snapshot, based on small prefix into pull_date history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65706:595bc96005f9 by wenzelm:
omit parentheses for the sake of SQLite;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65705:d0ca2a3ea657 by wenzelm:
more snapshot content;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65704:aa9a7a753296 by wenzelm:
more robust;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65703:cead65c19f2e by wenzelm:
more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65702:7c6a91deb212 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65701:d788c11176e5 by wenzelm:
simplified: standard toString is SQL.ident;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65700:333961e15062 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65699:9f74d9aa0bdf by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65698:38139b2067cf by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65697:60f4fb867d70 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65696:3f53a05c1266 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65695:4edac706bc5e by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65694:b82f2990161a by wenzelm:
clarified modules;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65693:99676834e53c by wenzelm:
clarified pull_date tables;<br>support for SQLite snapshot;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65692:d1e9155b894c by wenzelm:
views for full PostgreSQL database;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65691:2229276a1f99 by wenzelm:
eliminated redundant type SQL.View;<br>eliminated unused DROP operations;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65690:74ec3cfcb6bf by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65689:c1eab527bfa7 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 65688:2181b5615c64 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_log.scala (diff)