| Sun, 29 Jun 2025 15:48:13 +0200 | wenzelm | tuned signature: more operations; | file | diff | annotate |
| Sun, 29 Jun 2025 14:17:49 +0200 | wenzelm | basic support to reload theory markup from session store; | file | diff | annotate |
| Sat, 28 Jun 2025 15:45:55 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 28 Jun 2025 12:17:48 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 27 Jun 2025 15:03:12 +0200 | wenzelm | clarified signature: avoid Session with accidental Resources.bootstrap, which is mostly undefined; | file | diff | annotate |
| Fri, 27 Jun 2025 14:52:01 +0200 | wenzelm | clarified signature: prefer private operation (see also 803731b62180); | file | diff | annotate |
| Fri, 27 Jun 2025 14:48:37 +0200 | wenzelm | tuned (see also 5c7652e9bc01); | file | diff | annotate |