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/Thy/file_format.scala
changeset 72652 07edf1952ab1
parent 72159 40b5ee5889d2
child 72839 a597300290de 
--- a/src/Pure/Thy/file_format.scala	Wed Nov 18 15:47:53 2020 +0100
+++ b/src/Pure/Thy/file_format.scala	Wed Nov 18 15:52:12 2020 +0100
@@ -88,7 +88,7 @@
     } yield s
   }
 
-  def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] = None
+  def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] = None
 
 
   /* PIDE session agent */
isabelle