#!/bin/bash

exec "/home/h/hwloidl/DISTS/Isabelle/bin/isabelle-process" "$@"
