| changeset 73723 | 1bbbaae6b5e3 |
| parent 62589 | b5783412bfed |
| child 73734 | f7f0d516df0c |
| 73722:9e1de6fb9579 | 73723:1bbbaae6b5e3 |
|---|---|
3 set -e |
3 set -e |
4 |
4 |
5 FORMAT="$1" |
5 FORMAT="$1" |
6 VARIANT="$2" |
6 VARIANT="$2" |
7 |
7 |
8 isabelle logo Isar |
|
9 ./showsymbols "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > syms.tex |
8 ./showsymbols "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > syms.tex |
10 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" |
9 "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT" |
11 |
10 |