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/Tools/VSCode/src/document_model.scala
changeset 65105 1f47b92021de
parent 65095 eb21a4f70b0e
child 65111 3224a6f7bd6b 
--- a/src/Tools/VSCode/src/document_model.scala	Sat Mar 04 13:36:06 2017 +0100
+++ b/src/Tools/VSCode/src/document_model.scala	Sat Mar 04 20:26:32 2017 +0100
@@ -16,7 +16,7 @@
 {
   /* decorations */
 
-  sealed case class Decoration(typ: String, content: List[Text.Info[XML.Body]])
+  sealed case class Decoration(typ: String, content: List[Text.Info[List[XML.Body]]])
 
 
   /* content */
isabelle