#!/bin/sh

chmod +x /Isabelle/bin/isabelle
sh -c "/Isabelle/bin/isabelle $INPUT_TOOL_ARGS"