# HG changeset patch
# User wenzelm
# Date 1659519794 -7200
# Node ID d22ae56ca00c15e751fe057db8a951477f395bd1
# Parent  5b37466c1463a57a78c2d34708eef4f7b2a7b9e2
tuned comments;

diff -r 5b37466c1463 -r d22ae56ca00c src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Wed Aug 03 11:23:12 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Wed Aug 03 11:43:14 2022 +0200
@@ -64,8 +64,8 @@
     global_theories: Map[String, String] = Map.empty,
     session_theories: List[Document.Node.Name] = Nil,
     document_theories: List[Document.Node.Name] = Nil,
-    loaded_theories: Graph[String, Outer_Syntax] = Graph.string,
-    used_theories: List[(Document.Node.Name, Options)] = Nil,
+    loaded_theories: Graph[String, Outer_Syntax] = Graph.string,  // cumulative imports
+    used_theories: List[(Document.Node.Name, Options)] = Nil,  // new imports
     load_commands: Map[Document.Node.Name, List[Command_Span.Span]] = Map.empty,
     known_theories: Map[String, Document.Node.Entry] = Map.empty,
     known_loaded_files: Map[String, List[Path]] = Map.empty,