src/Pure/General/sql.scala
2 months ago wenzelm 2019-03-25 tuned signature;
6 months ago wenzelm 2018-12-03 static type for Library.using: avoid Java 11 warnings on "Illegal reflective access"; more uses of "using";
6 months ago wenzelm 2018-11-22 tuned;
13 months ago wenzelm 2018-05-06 tuned signature;
20 months ago wenzelm 2017-10-13 tuned signature;
20 months ago wenzelm 2017-10-13 tuned signature;
2017-05-24 wenzelm 2017-05-24 tuned message;
2017-05-21 wenzelm 2017-05-21 refer to already extracted library files, to avoid tmp files produced by SQLiteJDBCLoader, which tend to remain after JVM crash;
2017-05-12 wenzelm 2017-05-12 tuned;
2017-05-08 wenzelm 2017-05-08 allow column with defining expression;
2017-05-08 wenzelm 2017-05-08 tuned signature;
2017-05-08 wenzelm 2017-05-08 tuned signature;
2017-05-08 wenzelm 2017-05-08 tuned signature;
2017-05-08 wenzelm 2017-05-08 clarified signature;
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 tuned;
2017-05-06 wenzelm 2017-05-06 clarified signature;
2017-05-06 wenzelm 2017-05-06 unused;
2017-05-05 wenzelm 2017-05-05 tuned;
2017-05-05 wenzelm 2017-05-05 clarified signature;
2017-05-05 wenzelm 2017-05-05 tuned signature;
2017-05-04 wenzelm 2017-05-04 tuned;
2017-05-03 wenzelm 2017-05-03 omit parentheses for the sake of SQLite;
2017-05-03 wenzelm 2017-05-03 more robust;
2017-05-03 wenzelm 2017-05-03 more direct insert_permissive statement, which avoids somewhat fragile nested transactions;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 simplified: standard toString is SQL.ident;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 clarified signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-03 wenzelm 2017-05-03 tuned signature;
2017-05-02 wenzelm 2017-05-02 eliminated redundant type SQL.View; eliminated unused DROP operations;
2017-05-02 wenzelm 2017-05-02 tuned;
2017-05-02 wenzelm 2017-05-02 proper quote (amending 546020a98a91): e.g. relevant for "ISABELLE_BUILD_OPTIONS";
2017-05-01 wenzelm 2017-05-01 tuned;
2017-05-01 wenzelm 2017-05-01 tuned signature;
2017-05-01 wenzelm 2017-05-01 clarified treatment of qualified names (amending 7ef438495a02);
2017-05-01 wenzelm 2017-05-01 support for views;
2017-05-01 wenzelm 2017-05-01 more operations; tuned;
2017-04-30 wenzelm 2017-04-30 tuned signature;
2017-04-30 wenzelm 2017-04-30 tuned signature;
2017-04-30 wenzelm 2017-04-30 support for qualified names, which are not quoted (e.g. for SQLite); more operations;
2017-04-30 wenzelm 2017-04-30 tuned message;
2017-04-29 wenzelm 2017-04-29 ssh_close for proper termination after use of database;
2017-04-28 wenzelm 2017-04-28 tuned signature: less overloading;
2017-04-28 wenzelm 2017-04-28 tuned signature;
2017-04-28 wenzelm 2017-04-28 tuned signature: avoid null in regular Scala code;
2017-04-28 wenzelm 2017-04-28 allow null for primitive types;
2017-04-28 wenzelm 2017-04-28 allow null;
2017-04-28 wenzelm 2017-04-28 tuned signature;
2017-04-27 wenzelm 2017-04-27 allow null;
2017-04-27 wenzelm 2017-04-27 clarified treatment of default port;
2017-04-27 wenzelm 2017-04-27 tuned signature;
2017-03-19 wenzelm 2017-03-19 clarified signature: rowid is specific to SQLite;
2017-03-19 wenzelm 2017-03-19 more general primary_key;
2017-03-19 wenzelm 2017-03-19 more operations;
2017-03-19 wenzelm 2017-03-19 proper SQL syntax (according of PostgreSQL);
2017-03-19 wenzelm 2017-03-19 more operations;
2017-03-17 wenzelm 2017-03-17 more robust JDBC initialization, e.g. required for Isabelle/jEdit startup;