--- a/lib/Tools/scala Fri Dec 19 20:37:29 2008 +0100 +++ b/lib/Tools/scala Sat Dec 20 11:39:27 2008 +0100 @@ -1,6 +1,5 @@ #!/usr/bin/env bash # -# $Id$ # Author: Makarius # # DESCRIPTION: invoke Scala within the Isabelle environment