| changeset 73723 | 1bbbaae6b5e3 |
| parent 62589 | b5783412bfed |
| child 73734 | f7f0d516df0c |
--- a/src/Doc/Isar_Ref/document/build Mon May 17 23:38:16 2021 +0200 +++ b/src/Doc/Isar_Ref/document/build Tue May 18 15:17:55 2021 +0200 @@ -5,7 +5,6 @@ FORMAT="$1" VARIANT="$2" -isabelle logo Isar ./showsymbols "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > syms.tex "$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"