Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Sat, 23 May 2020 11:33:45 +0200
changeset 71869 2b7840fb2f90
parent 71868 06ec50d9fc0a
child 71870 82abfda58667
tuned message;
src/Pure/System/scala.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/scala.scala	Sat May 23 11:27:35 2020 +0200
+++ b/src/Pure/System/scala.scala	Sat May 23 11:33:45 2020 +0200
@@ -48,6 +48,8 @@
 
     class Context private [Compiler](val settings: GenericRunnerSettings)
     {
+      override def toString: String = settings.toString
+
       def interpreter(
         print_writer: PrintWriter = default_print_writer,
         class_loader: ClassLoader = null): IMain =
isabelle