--- a/src/Pure/PIDE/session.scala Sat Sep 03 15:39:26 2022 +0200
+++ b/src/Pure/PIDE/session.scala Sat Sep 03 15:43:20 2022 +0200
@@ -65,7 +65,6 @@
case object Caret_Focus
case class Raw_Edits(doc_blobs: Document.Blobs, edits: List[Document.Edit_Text])
case class Dialog_Result(id: Document_ID.Generic, serial: Long, result: String)
- case class Build_Theories(id: String, master_dir: Path, theories: List[(Options, List[Path])])
case class Commands_Changed(
assignment: Boolean, nodes: Set[Document.Node.Name], commands: Set[Command])