| 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 |
| Sun, 07 Aug 2022 12:37:15 +0200 | wenzelm | tuned signature; | changeset | files |
| Sun, 07 Aug 2022 12:30:09 +0200 | wenzelm | clarified signature; | changeset | files |