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/invoke_scala.scala
changeset 64458 82e8fd850467
parent 61561 f35786faee6c
child 65219 ed4b47b8c7dc 
--- a/src/Pure/System/invoke_scala.scala	Thu Nov 03 08:10:56 2016 +0100
+++ b/src/Pure/System/invoke_scala.scala	Thu Nov 03 17:51:10 2016 +0100
@@ -125,4 +125,3 @@
     Markup.INVOKE_SCALA -> invoke_scala _,
     Markup.CANCEL_SCALA -> cancel_scala _)
 }
-
isabelle