2016-09-05 blanchet [Mon, 05 Sep 2016 13:09:18 +0200] rev 63787
export more ML functions
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML

2016-09-05 blanchet [Mon, 05 Sep 2016 11:35:42 +0200] rev 63786
export more ML functions
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML

2016-09-05 blanchet [Mon, 05 Sep 2016 10:48:06 +0200] rev 63785
added warning
NEWS

2016-09-04 wenzelm [Sun, 04 Sep 2016 23:04:34 +0200] rev 63784
tuned;
src/Pure/Tools/sql.scala

2016-09-04 wenzelm [Sun, 04 Sep 2016 22:04:07 +0200] rev 63783
tuned signature;
src/Pure/Tools/sql.scala

2016-09-04 wenzelm [Sun, 04 Sep 2016 21:41:08 +0200] rev 63782
clarified exceptions;
src/Pure/General/exn.scala

2016-09-04 wenzelm [Sun, 04 Sep 2016 21:09:18 +0200] rev 63781
support for (single) primary key;
more operations;
src/Pure/Tools/sql.scala src/Pure/library.scala

2016-09-04 wenzelm [Sun, 04 Sep 2016 20:31:23 +0200] rev 63780
more operations;
clarified NULL treatment;
src/Pure/Tools/sql.scala src/Pure/Tools/sqlite.scala

2016-09-04 wenzelm [Sun, 04 Sep 2016 17:38:22 +0200] rev 63779
more operations;
src/Pure/General/bytes.scala src/Pure/Tools/sql.scala src/Pure/Tools/sqlite.scala

2016-09-04 wenzelm [Sun, 04 Sep 2016 15:44:20 +0200] rev 63778
clarified modules;
tuned signature;
src/Pure/Tools/sql.scala src/Pure/Tools/sqlite.scala src/Pure/build-jars