--- a/build Sat Dec 20 11:39:34 2008 +0100 +++ b/build Sat Dec 20 11:55:34 2008 +0100 @@ -1,6 +1,5 @@ #!/usr/bin/env bash # -# $Id$ # Author: Markus Wenzel, TU Muenchen # # build - compile the Isabelle system and object-logics