Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified signature: rowid is specific to SQLite;
  2. proper primary key;
  3. more general primary_key;
  4. tuned;
  5. more operations;
  6. tuned;
  7. proper SQL syntax (according of PostgreSQL);
  8. access table via session_name: db may in principle contain multiple entries;
  9. more operations;
  10. eliminated somewhat redundant inlined name (despite a7aa17a1f721);
Changeset 65327:e886aed88b2c by wenzelm:
clarified signature: rowid is specific to SQLite;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65326:cb7cb57c7ce1 by wenzelm:
proper primary key;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65325:981df08de0ab by wenzelm:
more general primary_key;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65324:1964d3cb2e57 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65323:7f6c738379f4 by wenzelm:
more operations;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65322:b2dc9e3b8ee5 by wenzelm:
tuned;
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 65321:2b1cd063e0b2 by wenzelm:
proper SQL syntax (according of PostgreSQL);
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65320:52861eebf58d by wenzelm:
access table via session_name: db may in principle contain multiple entries;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 65319:64da14387b2c by wenzelm:
more operations;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65318:342efc382558 by wenzelm:
eliminated somewhat redundant inlined name (despite a7aa17a1f721);
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/ml_statistics.scala (diff)
The file was modified src/Pure/Tools/task_statistics.scala (diff)