changeset 68762 | 8750edd967ce |
parent 68746 | f95e2f145ea5 |
child 68808 | 5467858e9419 |
--- a/src/Pure/Thy/sessions.scala Sat Aug 18 13:52:12 2018 +0200 +++ b/src/Pure/Thy/sessions.scala Sat Aug 18 14:16:24 2018 +0200 @@ -26,6 +26,9 @@ def is_pure(name: String): Boolean = name == Thy_Header.PURE + def is_hidden(name: Document.Node.Name): Boolean = + !name.is_theory || name.theory == Sessions.root_name || name.is_bibtex_theory + def exclude_session(name: String): Boolean = name == "" || name == DRAFT