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