--- a/lib/Tools/java Sat Aug 16 13:32:23 2008 +0200
+++ b/lib/Tools/java Sat Aug 16 14:29:25 2008 +0200
@@ -3,23 +3,7 @@
# $Id$
# Author: Makarius
#
-# DESCRIPTION: Java wrapper
-
-
-PRG="$(basename "$0")"
-
-function usage()
-{
- echo
- echo "Usage: $PRG [ARGS ...]"
- echo
- echo " Invoke Java within the Isabelle environment."
- echo
- exit 1
-}
-
-
-## main
+# DESCRIPTION: invoke Java within the Isabelle environment
CLASSPATH="$(jvmpath "$CLASSPATH")"
exec "$ISABELLE_JAVA" "$@"
--- a/lib/Tools/scala Sat Aug 16 13:32:23 2008 +0200
+++ b/lib/Tools/scala Sat Aug 16 14:29:25 2008 +0200
@@ -3,23 +3,7 @@
# $Id$
# Author: Makarius
#
-# DESCRIPTION: Scala wrapper
-
-
-PRG="$(basename "$0")"
-
-function usage()
-{
- echo
- echo "Usage: $PRG [ARGS ...]"
- echo
- echo " Invoke Scala within the Isabelle environment."
- echo
- exit 1
-}
-
-
-## main
+# DESCRIPTION: invoke Scala within the Isabelle environment
CLASSPATH="$(jvmpath "$CLASSPATH")"
exec "$ISABELLE_SCALA" "$@"