# HG changeset patch
# User wenzelm
# Date 1689492870 -7200
# Node ID 9f2cfb9873bbddf70b8f0eab03c2c80365cf0213
# Parent  db76217fe9b65004ae202ceacffba6aae732cb18
tuned comments;

diff -r db76217fe9b6 -r 9f2cfb9873bb src/Pure/General/sql.scala
--- 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