| changeset 73731 | a1ef2589c33f |
| parent 73723 | 1bbbaae6b5e3 |
| child 73733 | b13b2c1d419e |
| 73730:2f023b2b0e1e | 73731:a1ef2589c33f |
|---|---|
7 |
7 |
8 isabelle latex -o "$FORMAT" |
8 isabelle latex -o "$FORMAT" |
9 isabelle latex -o bbl |
9 isabelle latex -o bbl |
10 ./isa-index root |
10 ./isa-index root |
11 isabelle latex -o "$FORMAT" |
11 isabelle latex -o "$FORMAT" |
12 [ -f root.out ] && "$ISABELLE_HOME/src/Doc/fixbookmarks" root.out |
|
13 isabelle latex -o "$FORMAT" |
12 isabelle latex -o "$FORMAT" |