1 #!/usr/bin/env bash
2
3 set -e
4
5 FORMAT="$1"
6 VARIANT="$2"
7
8 "$ISABELLE_TOOL" logo HOL
9
10 cp "$ISABELLE_HOME/src/Doc/ProgProve/MyList.thy" .
11
12 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
13