tuned comments;
authorwenzelm
Wed, 03 Aug 2022 11:43:14 +0200
changeset 75740 d22ae56ca00c
parent 75739 5b37466c1463
child 75741 17b1c4fbc008
tuned comments;
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,