diff -r cb7d8e70f4f4 -r df79aa33bb74 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Wed Sep 11 22:46:51 2013 +0200
+++ b/src/Pure/Tools/main.scala	Wed Sep 11 23:32:47 2013 +0200
@@ -16,20 +16,6 @@
 
 object Main
 {
-  /** class path **/
-
-  def class_path: List[Path] = List(
-    "$ISABELLE_HOME/lib/classes/ext/Pure.jar",
-    "$ISABELLE_HOME/lib/classes/ext/scala-compiler.jar",
-    "$ISABELLE_HOME/lib/classes/ext/scala-library.jar",
-    "$ISABELLE_HOME/lib/classes/ext/scala-swing.jar",
-    "$ISABELLE_HOME/lib/classes/ext/scala-actors.jar",
-    "$ISABELLE_HOME/lib/classes/ext/scala-reflect.jar",
-    "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar"
-  ).map(Path.explode(_))
-
-
-
   /** main entry point **/
 
   def main(args: Array[String])