# HG changeset patch
# User wenzelm
# Date 1672495114 -3600
# Node ID 7082c5df5df6bc06a6343435d01a5aacbaca1f37
# Parent  d431a9340163afb750323d36eb3974f440affe61
tuned signature;

diff -r d431a9340163 -r 7082c5df5df6 etc/build.props
--- 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 \
diff -r d431a9340163 -r 7082c5df5df6 src/Pure/Thy/sessions.scala
--- 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 = ""