Thu, 07 Nov 2019 15:30:48 +0100 | wenzelm | prefer named facts; | changeset | files |
Thu, 07 Nov 2019 15:16:53 +0100 | wenzelm | clarified contexts; | changeset | files |
Thu, 07 Nov 2019 11:55:41 +0100 | wenzelm | tuned messages; | changeset | files |
Thu, 07 Nov 2019 11:40:17 +0100 | wenzelm | clarified command-line; | changeset | files |
Thu, 07 Nov 2019 11:29:03 +0100 | wenzelm | tuned messages; | changeset | files |
Thu, 07 Nov 2019 11:20:49 +0100 | wenzelm | tuned messages; | changeset | files |
Thu, 07 Nov 2019 11:10:06 +0100 | wenzelm | more messages -- expose potential database problems; | changeset | files |