--- a/src/Pure/General/sql.scala Sat Jul 15 20:34:06 2023 +0200
+++ b/src/Pure/General/sql.scala Sun Jul 16 09:34:30 2023 +0200
@@ -2,6 +2,8 @@
Author: Makarius
Support for SQL databases: SQLite and PostgreSQL.
+
+See https://docs.oracle.com/en/java/javase/17/docs/api/java.sql/java/sql/Connection.html
*/
package isabelle
@@ -572,6 +574,9 @@
/** PostgreSQL **/
+// see https://www.postgresql.org/docs/current/index.html
+// see https://jdbc.postgresql.org/documentation
+
object PostgreSQL {
type Source = SQL.Source