| 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 |
| Fri, 05 Nov 2021 12:05:17 +0100 | wenzelm | unused (see also 217e6cf61453, 5e7916535860); | changeset | files |
| Thu, 04 Nov 2021 19:55:59 +0100 | wenzelm | merged | changeset | files |
| Thu, 04 Nov 2021 19:22:11 +0100 | wenzelm | clarified Theory_Cache: prefer immutable data with Synchronized variable; | changeset | files |
| Thu, 04 Nov 2021 16:47:28 +0100 | wenzelm | tuned signature; | changeset | files |