equal
deleted
inserted
replaced
42 pdflatex, but text encoding needs to conform strictly to utf8. Rare |
42 pdflatex, but text encoding needs to conform strictly to utf8. Rare |
43 INCOMPATIBILITY. |
43 INCOMPATIBILITY. |
44 |
44 |
45 * Discontinued obsolete DVI format and ISABELLE_LATEX settings variable: |
45 * Discontinued obsolete DVI format and ISABELLE_LATEX settings variable: |
46 document output is always PDF. |
46 document output is always PDF. |
|
47 |
|
48 * Antiquotation @{tool} refers to Isabelle command-line tools, with |
|
49 completion and formal reference to the source (external script or |
|
50 internal Scala function). |
47 |
51 |
48 * Antiquotation @{bash_function} refers to GNU bash functions that are |
52 * Antiquotation @{bash_function} refers to GNU bash functions that are |
49 checked within the Isabelle settings environment. |
53 checked within the Isabelle settings environment. |
50 |
54 |
51 * Antiquotations @{scala}, @{scala_object}, @{scala_type}, |
55 * Antiquotations @{scala}, @{scala_object}, @{scala_type}, |