src/Pure/General/sql.scala
Fri, 10 Feb 2017 11:04:28 +0100 wenzelm clarified Date storage;
Fri, 10 Feb 2017 10:34:14 +0100 wenzelm more operations;
Fri, 10 Feb 2017 10:01:54 +0100 wenzelm tuned signature;
Fri, 10 Feb 2017 09:55:08 +0100 wenzelm clarified signature;
Thu, 09 Feb 2017 22:40:15 +0100 wenzelm support for type Date;
Thu, 09 Feb 2017 20:47:41 +0100 wenzelm tuned;
Thu, 09 Feb 2017 16:58:27 +0100 wenzelm tuned;
Thu, 09 Feb 2017 16:56:31 +0100 wenzelm support for type Boolean;
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