--- a/src/Pure/Thy/sessions.scala Sat Dec 31 14:54:20 2022 +0100
+++ b/src/Pure/Thy/sessions.scala Sat Dec 31 14:58:34 2022 +0100
@@ -33,12 +33,12 @@
def illegal_session(name: String): Boolean = name == "" || name == DRAFT
def illegal_theory(name: String): Boolean =
- name == root_name || isabelle.File_Format.registry.theory_excluded(name)
+ name == root_name || File_Format.registry.theory_excluded(name)
/* ROOTS file format */
- class File_Format extends isabelle.File_Format {
+ class ROOTS_File_Format extends File_Format {
val format_name: String = roots_name
val file_ext = ""