bin/isabelle-process
changeset 15801 d2f5ca3c048d
parent 15784 3a214de33d53
child 15843 d5bd4a18ce70
     1.1 --- a/bin/isabelle-process	Thu Apr 21 22:00:28 2005 +0200
     1.2 +++ b/bin/isabelle-process	Thu Apr 21 22:02:06 2005 +0200
     1.3 @@ -1,10 +1,7 @@
     1.4  #!/usr/bin/env bash
     1.5  #
     1.6 -
     1.7  # $Id$
     1.8 -
     1.9  # Author: Markus Wenzel, TU Muenchen
    1.10 -# License: GPL (GNU GENERAL PUBLIC LICENSE)
    1.11  #
    1.12  # Isabelle process startup script.
    1.13