src/Pure/General/sql.scala
Thu, 09 Feb 2017 16:06:45 +0100 wenzelm clarified signature;
Thu, 09 Feb 2017 15:40:34 +0100 wenzelm remote database access via ssh port forwarding;
Thu, 09 Feb 2017 11:44:55 +0100 wenzelm clarified handling of SQL.Type;
Thu, 09 Feb 2017 11:03:22 +0100 wenzelm clarified toString;
Thu, 09 Feb 2017 10:59:19 +0100 wenzelm clarified modules;
Wed, 08 Feb 2017 23:19:10 +0100 wenzelm more portable SQL types;
Wed, 08 Feb 2017 22:38:08 +0100 wenzelm more portable: SQL standard syntax instead of MySQL extension;
Mon, 05 Sep 2016 15:00:32 +0200 wenzelm more operations;
Mon, 05 Sep 2016 11:51:25 +0200 wenzelm more operations;
Mon, 05 Sep 2016 10:34:45 +0200 wenzelm clarified modules;
less more (0) tip