bin/isabelle-process
changeset 15801 d2f5ca3c048d
parent 15784 3a214de33d53
child 15843 d5bd4a18ce70
equal deleted inserted replaced
15800:f2215ed00438 15801:d2f5ca3c048d
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 
       
     4 # $Id$
     3 # $Id$
     5 
       
     6 # Author: Markus Wenzel, TU Muenchen
     4 # Author: Markus Wenzel, TU Muenchen
     7 # License: GPL (GNU GENERAL PUBLIC LICENSE)
       
     8 #
     5 #
     9 # Isabelle process startup script.
     6 # Isabelle process startup script.
    10 
     7 
    11 
     8 
    12 ## settings
     9 ## settings