src/Pure/Thy/thy_syntax.scala

 
 
       /* result structure */
 
       val spans = parse_spans(syntax.scan(text))
-      spans.foreach(span => add(Command(Document.no_id, node_name, span)))
+      spans.foreach(span => add(Command(Document_ID.none, node_name, span)))
       result()
     }
   }
 
 

       case Nil =>
         assert(spans2.isEmpty)
         commands
       case cmd :: _ =>
         val hook = commands.prev(cmd)
-        val inserted = spans2.map(span => Command(Document.new_id(), name, span))
+        val inserted = spans2.map(span => Command(Document_ID.make(), name, span))
         (commands /: cmds2)(_ - _).append_after(hook, inserted)
     }
   }