equal
deleted
inserted
replaced
31 |
31 |
32 * More robust 'proof' outline for method "induct": support nested cases. |
32 * More robust 'proof' outline for method "induct": support nested cases. |
33 |
33 |
34 |
34 |
35 *** Document preparation *** |
35 *** Document preparation *** |
|
36 |
|
37 * Option "document_logo" determines if an instance of the Isabelle logo |
|
38 should be created in the document output directory. The given string |
|
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". |
36 |
41 |
37 * Option "document_build" determines the document build engine, as |
42 * Option "document_build" determines the document build engine, as |
38 defined in Isabelle/Scala (as system service). The subsequent engines |
43 defined in Isabelle/Scala (as system service). The subsequent engines |
39 are provided by the Isabelle distribution: |
44 are provided by the Isabelle distribution: |
40 |
45 |