| Sat, 07 Sep 2019 19:52:36 +0200 | wenzelm | theory_name based on session_directories: no need for expensive all_known; | changeset | files |
| Sat, 07 Sep 2019 16:17:30 +0200 | wenzelm | clarified session_directories: relative to session_path, with overlapping information; | changeset | files |
| Sat, 07 Sep 2019 15:18:06 +0200 | wenzelm | clarified signature: retain global session information, unaffected by later restriction; | changeset | files |
| Sat, 07 Sep 2019 14:50:38 +0200 | wenzelm | disable fragile options for now; | changeset | files |
| Sat, 07 Sep 2019 12:16:11 +0200 | wenzelm | avoid overlapping session directories; | changeset | files |
| Sat, 07 Sep 2019 12:11:42 +0200 | wenzelm | support for explicit session directories; | changeset | files |