| Sat, 02 Jan 2021 23:03:47 +0100 | wenzelm | tuned whitespace (amending a4bffc0de967); | changeset | files |
| Sat, 02 Jan 2021 22:50:09 +0100 | wenzelm | clarified caching; | changeset | files |
| Sat, 02 Jan 2021 22:40:06 +0100 | wenzelm | persistent hash code: much faster caching; | changeset | files |
| Sat, 02 Jan 2021 22:22:34 +0100 | wenzelm | clarified signature: absorb XZ.Cache into XML.Cache; | changeset | files |
| Sat, 02 Jan 2021 20:56:08 +0100 | wenzelm | support more direct hash-consing via XML.Cache; | changeset | files |
| Sat, 02 Jan 2021 16:39:07 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 02 Jan 2021 16:30:43 +0100 | wenzelm | tuned signature; | changeset | files |