| Fri, 05 Nov 2021 20:34:44 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 2021 20:26:07 +0100 | wenzelm | proper term_cache; | changeset | files |
| Fri, 05 Nov 2021 20:10:09 +0100 | wenzelm | prefer "NAME|KIND" format, as already used in Isabelle/MMT and Isabelle/Dedukti; | changeset | files |
| Fri, 05 Nov 2021 20:06:26 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 2021 19:53:35 +0100 | wenzelm | observer proper session hierarchy (according to build_graph): thus exported artifacts are always valid; | changeset | files |
| Fri, 05 Nov 2021 19:15:18 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 2021 12:55:49 +0100 | wenzelm | clarified order: prefer bottom-up construction of partial content; | changeset | files |