--- a/src/Pure/PIDE/resources.scala Sat Dec 16 15:15:51 2017 +0100
+++ b/src/Pure/PIDE/resources.scala Sat Dec 16 16:46:01 2017 +0100
@@ -180,7 +180,8 @@
def special_header(name: Document.Node.Name): Option[Document.Node.Header] =
{
val imports =
- if (Thy_Header.is_ml_root(name.theory)) List(import_name(name, Thy_Header.ML_BOOTSTRAP))
+ if (name.theory == Sessions.root_name) List(import_name(name, Sessions.theory_name))
+ else if (Thy_Header.is_ml_root(name.theory)) List(import_name(name, Thy_Header.ML_BOOTSTRAP))
else if (Thy_Header.is_bootstrap(name.theory)) List(import_name(name, Thy_Header.PURE))
else Nil
if (imports.isEmpty) None