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