lib/Tools/scala

--- 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" "$@"