Mon, 08 May 2017 20:26:59 +0200 | wenzelm | allow column with defining expression; | changeset | files |
Mon, 08 May 2017 17:33:46 +0200 | wenzelm | tuned -- inlined single use; | changeset | files |
Mon, 08 May 2017 17:16:40 +0200 | wenzelm | tuned signature; | changeset | files |