Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/resources.scala
changeset 76653 f8b1a75dbea7
parent 76590 3fc3c7c285cd
child 76654 a3177042863d 
--- a/src/Pure/PIDE/resources.scala	Fri Dec 16 15:14:09 2022 +0100
+++ b/src/Pure/PIDE/resources.scala	Fri Dec 16 16:00:56 2022 +0100
@@ -13,8 +13,7 @@
 
 
 object Resources {
-  def empty: Resources =
-    new Resources(Sessions.Structure.empty, Sessions.Structure.empty.bootstrap)
+  def empty: Resources = new Resources(Sessions.Structure.empty, Sessions.bootstrap_base)
 
   def hidden_node(name: Document.Node.Name): Boolean =
     !name.is_theory || name.theory == Sessions.root_name || File_Format.registry.is_theory(name)
isabelle