wenzelm [Tue, 12 Mar 2024 11:14:02 +0100] rev 79866
tuned signature: fewer warnings in IntelliJ IDEA;
paulson [Tue, 12 Mar 2024 12:11:39 +0000] rev 79865
merged
paulson <lp15@cam.ac.uk> [Tue, 12 Mar 2024 12:11:28 +0000] rev 79864
Fixed a latex error in the markup
wenzelm [Mon, 11 Mar 2024 23:03:12 +0100] rev 79863
minor performance tuning: SQL.order_by is only for demo purposes;
wenzelm [Mon, 11 Mar 2024 22:12:56 +0100] rev 79862
support efficient access to state updates, based on LEFT OUTER JOIN;
wenzelm [Mon, 11 Mar 2024 20:44:34 +0100] rev 79861
tuned signature;
wenzelm [Mon, 11 Mar 2024 20:33:49 +0100] rev 79860
tuned: prefer if_proper expression;
wenzelm [Mon, 11 Mar 2024 20:31:35 +0100] rev 79859
tuned signature;
wenzelm [Mon, 11 Mar 2024 20:24:59 +0100] rev 79858
tuned: prefer if_proper expression;
paulson <lp15@cam.ac.uk> [Mon, 11 Mar 2024 15:07:02 +0000] rev 79857
New material by Wenda Li and Manuel Eberl
traytel [Mon, 11 Mar 2024 08:46:20 +0100] rev 79856
merged
traytel [Mon, 11 Mar 2024 08:45:55 +0100] rev 79855
export BNF properties about the cardinal bound (by Jan van Brügge)