Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/document.scala
changeset 72844 240c8a0f6337
parent 72829 a28a4105883f
child 72859 2b8a328138a6 
--- a/src/Pure/PIDE/document.scala	Mon Dec 07 16:28:44 2020 +0100
+++ b/src/Pure/PIDE/document.scala	Mon Dec 07 16:47:47 2020 +0100
@@ -543,7 +543,7 @@
     val version: Version,
     val node_name: Node.Name,
     edits: List[Text.Edit],
-    snippet_command: Option[Command])
+    val snippet_command: Option[Command])
   {
     override def toString: String =
       "Snapshot(node = " + node_name.node + ", version = " + version.id +
isabelle