lib/scripts/getfunctions

   done
   export ISABELLE_DIRECTORIES
 }
 export -f isabelle_directory
 
-#Isabelle/Scala/Java build
-function isabelle_scala_build ()
-{
-  rm -rf \
-    "$ISABELLE_HOME/lib/classes/Pure.jar" \
-    "$ISABELLE_HOME/lib/classes/Pure.shasum" \
-    "$ISABELLE_HOME/src/Tools/jEdit/dist"
-  if [ "$1" = "fresh" ]; then
-    CMD="build_fresh"
-  else
-    CMD="build"
-  fi
-  env ISABELLE_SETUP_CLASSPATH_SKIP=true isabelle java isabelle.setup.Setup "$CMD"
-}
-export -f isabelle_scala_build
-
 #arrays
 function splitarray ()
 {
   SPLITARRAY=()
   local IFS="$1"; shift