lib/scripts/getfunctions

 elif type splitarray >/dev/null 2>/dev/null
 then
   :
 else
 
-set -o allexport
-
 if [ "$OSTYPE" = cygwin ]; then
   function platform_path() { cygpath -i -C UTF8 -w -p "$@"; }
 else
   function platform_path() { echo "$@"; }
 fi
+export -f platform_path
 
 #GNU tar (notably on Mac OS X)
 if [ -x /usr/bin/gnutar ]; then
   function tar() { /usr/bin/gnutar "$@"; }
+  export -f tar
 fi
 
 #main executables
 function isabelle ()
 {
   "$ISABELLE_TOOL" "$@"
 }
+export -f isabelle
+
 function isabelle_process ()
 {
   "$ISABELLE_PROCESS" "$@"
 }
+export -f isabelle_process
+
 function isabelle_scala_script ()
 {
   "$ISABELLE_SCALA_SCRIPT" "$@"
 }
+export -f isabelle_scala_script
 
 #shared library convenience
 function librarypath ()
 {
   for X in "$@"

         export LD_LIBRARY_PATH
         ;;
     esac
   done
 }
+export -f librarypath
 
 #robust invocation via ISABELLE_JDK_HOME
 function isabelle_jdk ()
 {
   if [ -z "$ISABELLE_JDK_HOME" ]; then

   else
     local PRG="$1"; shift
     "$ISABELLE_JDK_HOME/bin/$PRG" "$@"
   fi
 }
+export -f isabelle_jdk
 
 #robust invocation via JAVA_HOME
 function isabelle_java ()
 {
   if [ -z "$JAVA_HOME" ]; then

   else
     local PRG="$1"; shift
     "$JAVA_HOME/bin/$PRG" "$@"
   fi
 }
+export -f isabelle_java
 
 #robust invocation via SCALA_HOME
 function isabelle_scala ()
 {
   if [ -z "$JAVA_HOME" ]; then

   else
     local PRG="$1"; shift
     "$SCALA_HOME/bin/$PRG" "$@"
   fi
 }
+export -f isabelle_scala
 
 #classpath
 function classpath ()
 {
   for X in "$@"

       ISABELLE_CLASSPATH="$ISABELLE_CLASSPATH:$X"
     fi
   done
   export ISABELLE_CLASSPATH
 }
+export -f classpath
 
 #administrative build
 if [ -e "$ISABELLE_HOME/Admin/build" ]; then
   function isabelle_admin_build ()
   {
     "$ISABELLE_HOME/Admin/build" "$@"
   }
 else
   function isabelle_admin_build () { return 0; }
 fi
+export -f isabelle_admin_build
 
 #arrays
 function splitarray ()
 {
   SPLITARRAY=()

   for X in $*
   do
     SPLITARRAY["${#SPLITARRAY[@]}"]="$X"
   done
 }
+export -f splitarray
 
 #init component tree
 function init_component ()
 {
   local COMPONENT="$1"

   fi
   if [ -f "$COMPONENT/etc/components" ]; then
     init_components "$COMPONENT" "$COMPONENT/etc/components"
   fi
 }
+export -f init_component
 
 #init component forest
 function init_components ()
 {
   local BASE="$1"

   for COMPONENT in "${COMPONENTS[@]}"
   do
     init_component "$COMPONENT"
   done
 }
-
-set +o allexport
-
-fi
+export -f init_components
+
+fi