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/jEdit/src/isabelle_export.scala
changeset 73340 0ffcad1f6130
parent 72847 9dda93a753b1
child 75393 87ebf5a50283 
--- a/src/Tools/jEdit/src/isabelle_export.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Tools/jEdit/src/isabelle_export.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -86,7 +86,7 @@
 
   /* open browser */
 
-  def open_browser(view: View)
+  def open_browser(view: View): Unit =
   {
     val path =
       PIDE.maybe_snapshot(view) match {
isabelle