#!/bin/sh

exec /opt/Isabelle/MY_TEMPLATE $@