diff -r f2215ed00438 -r d2f5ca3c048d bin/isabelle-process
--- a/bin/isabelle-process	Thu Apr 21 22:00:28 2005 +0200
+++ b/bin/isabelle-process	Thu Apr 21 22:02:06 2005 +0200
@@ -1,10 +1,7 @@
 #!/usr/bin/env bash
 #
-
 # $Id$
-
 # Author: Markus Wenzel, TU Muenchen
-# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # Isabelle process startup script.