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/System/scala.scala
changeset 72212 53e8858b839f
parent 72194 eef421b724c0
child 72213 6157757bb133 
--- a/src/Pure/System/scala.scala	Wed Aug 26 15:59:21 2020 +0100
+++ b/src/Pure/System/scala.scala	Thu Aug 27 12:34:10 2020 +0200
@@ -211,7 +211,7 @@
       }
     }
 
-    val functions =
+    override val functions =
       List(
         Markup.Invoke_Scala.name -> invoke_scala,
         Markup.Cancel_Scala.name -> cancel_scala)
isabelle