--- 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.