| 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 |
| Fri, 05 Nov 2021 12:36:00 +0100 | wenzelm | more thorough update_global_index: overwrite old content; | changeset | files |
| Fri, 05 Nov 2021 12:33:27 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 2021 12:25:28 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 2021 12:11:30 +0100 | wenzelm | clarified HTML_Context: just one context type; | changeset | files |