| Fri, 20 Jan 2023 16:30:09 +0100 | wenzelm | support Session argument for Scala.Fun; | changeset | files |
| Fri, 20 Jan 2023 13:53:45 +0100 | wenzelm | obsolete (see also 01c9b3033036); | changeset | files |
| Fri, 20 Jan 2023 13:42:39 +0100 | wenzelm | proper citations for unselected theories, notably for the default selection of the GUI panel; | changeset | files |
| Fri, 20 Jan 2023 13:31:58 +0100 | wenzelm | tuned signature; | changeset | files |