1#!/usr/bin/env bash 2 3set -e 4 5FORMAT="$1" 6VARIANT="$2" 7 8isabelle latex -o "$FORMAT" 9isabelle latex -o "$FORMAT" 10 11