| Sun, 08 Sep 2019 13:07:03 +0200 | wenzelm | clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories); | changeset | files |
| 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 |