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 49173 fa01a202399c
parent 44158 fe6d1ae7a065
child 49470 ee564db2649b 
--- a/src/Pure/System/invoke_scala.scala	Wed Sep 05 20:36:13 2012 +0200
+++ b/src/Pure/System/invoke_scala.scala	Wed Sep 05 20:54:40 2012 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/System/invoke_scala.scala
     Author:     Makarius
 
-JVM method invocation service via Scala layer.
+JVM method invocation service via Isabelle/Scala.
 */
 
 package isabelle
isabelle