37 * Option "document_logo" determines if an instance of the Isabelle logo |
37 * Option "document_logo" determines if an instance of the Isabelle logo |
38 should be created in the document output directory. The given string |
38 should be created in the document output directory. The given string |
39 specifies the name of the logo variant, while "_" (underscore) refers to |
39 specifies the name of the logo variant, while "_" (underscore) refers to |
40 the unnamed variant. The output file name is always "isabelle_logo.pdf". |
40 the unnamed variant. The output file name is always "isabelle_logo.pdf". |
41 |
41 |
42 * Option "document_build" determines the document build engine, as |
|
43 defined in Isabelle/Scala (as system service). The subsequent engines |
|
44 are provided by the Isabelle distribution: |
|
45 |
|
46 . "lualatex" (default): use ISABELLE_LUALATEX for a standard LaTeX |
|
47 build with optional ISABELLE_BIBTEX and ISABELLE_MAKEINDEX |
|
48 |
|
49 . "pdflatex": as above, but use ISABELLE_PDFLATEX (legacy mode for |
|
50 special LaTeX styles) |
|
51 |
|
52 . "build": delegate to the executable "./build pdf" |
|
53 |
|
54 The presence of a "build" command within the document output directory |
|
55 explicitly requires document_build=build. Minor INCOMPATIBILITY, need to |
|
56 adjust session ROOT options. |
|
57 |
|
58 * Option "document_preprocessor" specifies the name of an executable |
42 * Option "document_preprocessor" specifies the name of an executable |
59 that is run within the document output directory, after preparing the |
43 that is run within the document output directory, after preparing the |
60 document sources and before the actual build process. This allows to |
44 document sources and before the actual build process. This allows to |
61 apply adhoc patches, without requiring a separate "build" script. |
45 apply adhoc patches, without requiring a separate "build" script. |
62 |
46 |
63 * Isabelle .sty files are automatically generated within the document |
47 * Option "document_build" determines the document build engine, as |
64 output directory; former "isabelle latex -o sty" has been discontinued. |
48 defined in Isabelle/Scala (as system service). The subsequent engines |
65 Minor INCOMPATIBILITY in document build scripts. |
49 are provided by the Isabelle distribution: |
|
50 |
|
51 - "lualatex" (default): use ISABELLE_LUALATEX for a standard LaTeX |
|
52 build with optional ISABELLE_BIBTEX and ISABELLE_MAKEINDEX |
|
53 |
|
54 - "pdflatex": as above, but use ISABELLE_PDFLATEX (legacy mode for |
|
55 special LaTeX styles) |
|
56 |
|
57 - "build": delegate to the executable "./build pdf" |
|
58 |
|
59 The presence of a "build" command within the document output directory |
|
60 explicitly requires document_build=build. Minor INCOMPATIBILITY, need to |
|
61 adjust session ROOT options. |
|
62 |
|
63 * The command-line tool "isabelle latex" has been discontinued, |
|
64 INCOMPATIBILITY for old document build scripts. |
|
65 |
|
66 - Former "isabelle latex -o sty" has become obsolete: Isabelle .sty |
|
67 files are automatically generated within the document output |
|
68 directory. |
|
69 |
|
70 - Former "isabelle latex -o pdf" should be replaced by |
|
71 "$ISABELLE_LUALATEX root" or "$ISABELLE_PDFLATEX root" (without |
|
72 quotes), according to the intended LaTeX engine. |
|
73 |
|
74 - Former "isabelle latex -o bbl" should be replaced by |
|
75 "$ISABELLE_BIBTEX root" (without quotes). |
|
76 |
|
77 - Former "isabelle latex -o idx" should be replaced by |
|
78 "$ISABELLE_MAKEINDEX root" (without quotes). |
66 |
79 |
67 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ... |
80 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ... |
68 \guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc} |
81 \guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc} |
69 (which is now also the default in "isabelle mkroot"). |
82 (which is now also the default in "isabelle mkroot"). |
70 |
83 |