| Fri, 05 Aug 2022 19:02:38 +0200 | wenzelm | clarified database query: refer to semantic theories; | changeset | files |
| Fri, 05 Aug 2022 18:45:49 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Fri, 05 Aug 2022 17:16:37 +0200 | wenzelm | clarified signature: persistent theory_names in lexical order; | changeset | files |
| Fri, 05 Aug 2022 16:50:04 +0200 | wenzelm | proper session_databases for database_server: need to follow precise session_hierarchy; | changeset | files |
| Fri, 05 Aug 2022 16:40:06 +0200 | wenzelm | redundant; | changeset | files |
| Fri, 05 Aug 2022 14:44:47 +0200 | wenzelm | clarified signature: more robust close operation; | changeset | files |
| Fri, 05 Aug 2022 14:05:42 +0200 | wenzelm | more uniform exports: proper encoding of empty parents for Pure; | changeset | files |
| Fri, 05 Aug 2022 13:43:14 +0200 | wenzelm | clarified signature: more uniform treatment of empty exports; | changeset | files |