Thu, 11 May 2023 12:21:50 +0200 | wenzelm | proper exception CONTEXT for Context.certificate_theory; | changeset | files |
Thu, 11 May 2023 12:20:47 +0200 | wenzelm | more diagnostic operations; | changeset | files |
Thu, 11 May 2023 10:46:52 +0200 | wenzelm | tuned spelling; | changeset | files |
Wed, 10 May 2023 23:28:15 +0200 | wenzelm | more standard treatment of data and context; | changeset | files |
Wed, 10 May 2023 23:04:12 +0200 | wenzelm | more standard val silent = Attrib.setup_config_bool; | changeset | files |
Wed, 10 May 2023 22:54:54 +0200 | wenzelm | tuned; | changeset | files |