| Tue, 12 Mar 2024 12:11:28 +0000 | paulson | Fixed a latex error in the markup | changeset | files |
| Mon, 11 Mar 2024 23:03:12 +0100 | wenzelm | minor performance tuning: SQL.order_by is only for demo purposes; | changeset | files |
| Mon, 11 Mar 2024 22:12:56 +0100 | wenzelm | support efficient access to state updates, based on LEFT OUTER JOIN; | changeset | files |
| Mon, 11 Mar 2024 20:44:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 11 Mar 2024 20:33:49 +0100 | wenzelm | tuned: prefer if_proper expression; | changeset | files |
| Mon, 11 Mar 2024 20:31:35 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 11 Mar 2024 20:24:59 +0100 | wenzelm | tuned: prefer if_proper expression; | changeset | files |
| Mon, 11 Mar 2024 15:07:02 +0000 | paulson | New material by Wenda Li and Manuel Eberl | changeset | files |