Sun, 08 Sep 2019 16:49:05 +0200 | wenzelm | declare session directories; | changeset | files |
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 |