--- a/etc/build.props Sat Dec 31 14:54:20 2022 +0100
+++ b/etc/build.props Sat Dec 31 14:58:34 2022 +0100
@@ -315,7 +315,7 @@
isabelle.Scala$Handler \
isabelle.Scala_Functions \
isabelle.Server_Commands \
- isabelle.Sessions$File_Format \
+ isabelle.Sessions$ROOTS_File_Format \
isabelle.Simplifier_Trace$Handler \
isabelle.Tools \
isabelle.jedit.JEdit_Plugin0 \
--- 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 = ""