changeset 34257 | b5176fd9ab3c |
parent 34255 | 2dd2547acb41 |
child 36194 | 8e61560ded89 |
--- a/lib/scripts/getsettings Mon Jan 04 22:19:14 2010 +0100 +++ b/lib/scripts/getsettings Mon Jan 04 22:35:32 2010 +0100 @@ -22,11 +22,6 @@ ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle-process" ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle" -function isabelle-process () -{ - "$ISABELLE_PROCESS" "$@" -} - function isabelle () { "$ISABELLE_TOOL" "$@"