diff -r eedea6f0b37e -r 549969a7f582 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Wed Jan 06 18:22:43 2010 +0100
+++ b/src/Pure/IsaMakefile	Wed Jan 06 20:00:22 2010 +0100
@@ -117,39 +117,3 @@
 clean:
 	@rm -f $(OUT)/Pure $(LOG)/Pure.gz $(OUT)/RAW $(LOG)/RAW.gz \
           $(LOG)/Pure-ProofGeneral.gz
-
-
-## Scala material
-
-SCALA_FILES = Concurrent/future.scala General/download.scala		\
-  General/event_bus.scala General/exn.scala General/linear_set.scala	\
-  General/markup.scala General/position.scala General/scan.scala	\
-  General/swing_thread.scala General/symbol.scala General/xml.scala	\
-  General/yxml.scala Isar/isar_document.scala Isar/outer_keyword.scala	\
-  Isar/outer_lex.scala Isar/outer_parse.scala Isar/outer_syntax.scala	\
-  System/cygwin.scala System/gui_setup.scala				\
-  System/isabelle_process.scala System/isabelle_syntax.scala		\
-  System/isabelle_system.scala System/platform.scala			\
-  System/session_manager.scala System/standard_system.scala		\
-  Thy/completion.scala Thy/html.scala Thy/text_edit.scala		\
-  Thy/thy_header.scala Thy/thy_syntax.scala library.scala
-
-JAR_DIR = $(ISABELLE_HOME)/lib/classes
-PURE_JAR = $(JAR_DIR)/Pure.jar
-FULL_JAR = $(JAR_DIR)/isabelle-scala.jar
-
-jars: $(FULL_JAR)
-
-$(FULL_JAR): $(SCALA_FILES)
-	@rm -rf classes && mkdir classes
-	"$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES)
-	@cp $(SCALA_FILES) classes/isabelle
-	@mkdir -p "$(JAR_DIR)"
-	@cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle
-	@cd classes; cp "$(SCALA_HOME)/lib/scala-swing.jar" .; jar xf scala-swing.jar; \
-          cp "$(SCALA_HOME)/lib/scala-library.jar" "$(FULL_JAR)"; \
-          jar ufe `jvmpath $(FULL_JAR)` isabelle.GUI_Setup isabelle scala
-	@rm -rf classes
-
-clean-jars:
-	@rm -f "$(PURE_JAR)" "$(FULL_JAR)"