changeset 75406 | 85e8b4c2b9a9 |
parent 75405 | b13ab7d11b90 |
child 75552 | 4aa3da02fd4d |
--- a/src/Pure/Thy/sessions.scala Mon Apr 04 23:33:14 2022 +0200 +++ b/src/Pure/Thy/sessions.scala Mon Apr 04 23:46:14 2022 +0200 @@ -23,7 +23,7 @@ val roots_name: String = "ROOTS" val root_name: String = "ROOT" - val theory_name: String = "Pure.Sessions" + val theory_import: String = "Pure.Sessions" val UNSORTED = "Unsorted" val DRAFT = "Draft"