src/Pure/System/host.scala
Sun, 16 Jul 2023 11:29:23 +0200 wenzelm more informative trace;
Sat, 08 Jul 2023 13:13:10 +0200 wenzelm clarified signature;
Wed, 21 Jun 2023 14:27:51 +0200 wenzelm clarified signature: more explicit class SQL.Data;
Sat, 17 Jun 2023 15:58:41 +0200 wenzelm separate host.db for independent db.transaction_lock;
Mon, 06 Mar 2023 21:12:47 +0100 wenzelm clarified signature: reduce boilerplate;
Mon, 06 Mar 2023 19:18:53 +0100 wenzelm tuned signature;
Mon, 06 Mar 2023 19:13:27 +0100 wenzelm tuned structure;
Mon, 06 Mar 2023 19:09:17 +0100 wenzelm clarified signature;
Mon, 06 Mar 2023 18:58:48 +0100 wenzelm clarified signature;
Mon, 06 Mar 2023 15:56:28 +0100 wenzelm tuned whitespace and braces;
Mon, 06 Mar 2023 15:38:50 +0100 wenzelm tuned signature: reduce boilerplate;
Sun, 05 Mar 2023 19:33:01 +0100 wenzelm tuned output;
Sun, 05 Mar 2023 19:21:07 +0100 wenzelm clarified database content: store actual value instead of index;
Thu, 02 Mar 2023 16:09:22 +0100 wenzelm clarified names;
Thu, 02 Mar 2023 15:04:24 +0100 wenzelm tuned comments;
Thu, 02 Mar 2023 14:58:59 +0100 wenzelm clarified modules;
Thu, 02 Mar 2023 14:41:21 +0100 wenzelm clarified modules;
Thu, 02 Mar 2023 14:22:17 +0100 wenzelm clarified modules;
less more (0) tip