--- a/lib/scripts/getfunctions Sat Jul 17 23:09:54 2021 +0200
+++ b/lib/scripts/getfunctions Sun Jul 18 12:48:31 2021 +0200
@@ -211,22 +211,6 @@
}
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 ()
{