src/Pure/Admin/build_sqlite.scala
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Sun, 11 Oct 2020 17:42:32 +0200 wenzelm tuned whitespace;
Mon, 05 Oct 2020 22:23:17 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 22:07:25 +0200 wenzelm clarified signature;
Mon, 05 Oct 2020 21:15:58 +0200 wenzelm clarified signature;
Fri, 02 Oct 2020 21:18:27 +0200 wenzelm clarified signature;
Wed, 30 Sep 2020 22:55:35 +0200 wenzelm build Isabelle sqlite-jdbc component from official download;
less more (0) tip