Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to jedit-5.4.0;
  2. misc tuning and modernization;
  3. clarified signature: rowid is specific to SQLite;
  4. proper primary key;
  5. more general primary_key;
  6. tuned;
  7. more operations;
  8. tuned;
  9. proper SQL syntax (according of PostgreSQL);
  10. access table via session_name: db may in principle contain multiple entries;
  11. more operations;
  12. eliminated somewhat redundant inlined name (despite a7aa17a1f721);
Changeset 65329:4f3da52cec02 by wenzelm:
updated to jedit-5.4.0;
The file was addedsrc/Tools/jEdit/patches/docking
The file was addedsrc/Tools/jEdit/patches/extended_styles
The file was addedsrc/Tools/jEdit/patches/props
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
The file was modified src/Tools/jEdit/patches/folding (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was removedsrc/Tools/jEdit/patches/brackets_extended_styles
The file was removedsrc/Tools/jEdit/patches/file_completion
The file was removedsrc/Tools/jEdit/patches/gutter
Changeset 65328:2510b0ce28da by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Word/Word.thy (diff)
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)