| Sun, 07 Aug 2022 20:36:01 +0200 | wenzelm | afford default cache policy, despite 6a29709906c6; | changeset | files |
| Sun, 07 Aug 2022 13:44:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Aug 2022 12:58:59 +0200 | wenzelm | clarified signature: more uniform treatment of cache for Export.read_session vs. Export.read_theory; | changeset | files |
| Sun, 07 Aug 2022 12:37:57 +0200 | wenzelm | tuned; | changeset | files |