Wed, 02 Mar 2022 12:28:46 +0100 | wenzelm | more robust; | changeset | files |
Mon, 28 Feb 2022 14:53:52 +0100 | wenzelm | clarified modules; | changeset | files |
Mon, 28 Feb 2022 14:29:23 +0100 | wenzelm | clarified rendering; | changeset | files |
Mon, 28 Feb 2022 14:26:44 +0100 | wenzelm | prefer hardwired locale; | changeset | files |
Mon, 28 Feb 2022 14:24:39 +0100 | wenzelm | more aggressive activation; | changeset | files |
Tue, 01 Mar 2022 15:05:27 +0000 | paulson | Added some theorems (from Wetzel) | changeset | files |