# HG changeset patch
# User wenzelm
# Date 1693303453 -7200
# Node ID b1e0fb71435dee4bc17c14e0653cf34aae4a5a94
# Parent  a999bb19ed1e273b7ebb981543f599cfa0c30699
obsolete (see b4e6b82fdb9e);

diff -r a999bb19ed1e -r b1e0fb71435d lib/Tools/scala_build
--- a/lib/Tools/scala_build	Sun Aug 27 19:14:04 2023 +0200
+++ b/lib/Tools/scala_build	Tue Aug 29 12:04:13 2023 +0200
@@ -51,12 +51,6 @@
 
 ## main
 
-#remove historic material
-rm -rf \
-  "$ISABELLE_HOME/lib/classes/Pure.jar" \
-  "$ISABELLE_HOME/lib/classes/Pure.shasum" \
-  "$ISABELLE_HOME/src/Tools/jEdit/dist"
-
 classpath "$CLASSPATH"; export CLASSPATH=""
 
 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"