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.
deprecated and obsolete;
authorwenzelm
Wed, 22 Apr 2020 18:16:27 +0200
changeset 71782 a57035ae9029
parent 71781 3fd54f7f52b0
child 71783 73dee865d567
deprecated and obsolete;
src/Tools/jEdit/src/scala_console.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/scala_console.scala	Wed Apr 22 17:52:14 2020 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala	Wed Apr 22 18:16:27 2020 +0200
@@ -134,7 +134,6 @@
     {
       override def parentClassLoader = new JARClassLoader
     }
-    interp.setContextClassLoader
 
     val thread: Consumer_Thread[Request] = Consumer_Thread.fork("Scala_Console")
     {
isabelle