| 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 |
| Fri, 20 Jan 2023 13:11:58 +0100 | wenzelm | more robust theory_source -- in contrast to node_source from fffb978dd683: theory name is more reliable than Document.Node.Name, explicit unicode_symbols; | changeset | files |