Thu, 29 Dec 2022 11:46:06 +0000 | paulson | reorganisation and simplification of theorems about transcendental functions | changeset | files |
Thu, 29 Dec 2022 16:44:45 +0100 | wenzelm | tuned signature; | changeset | files |
Thu, 29 Dec 2022 16:17:29 +0100 | wenzelm | support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag"; | changeset | files |