equal
deleted
inserted
replaced
18 - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics" |
18 - Dagstuhl LIPIcs style as session "Demo_LIPIcs" / doc "demo_lipics" |
19 - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs" |
19 - Springer LaTeX LNCS style as session "Demo_LLNCS" / doc "demo_llncs" |
20 |
20 |
21 * Support for interactive document preparation in PIDE, notably via the |
21 * Support for interactive document preparation in PIDE, notably via the |
22 Isabelle/jEdit Document panel. |
22 Isabelle/jEdit Document panel. |
|
23 |
|
24 * Support for more "cite" antiquotations, notably for \nocite and |
|
25 natbib's \citet / \citep. The antiquotation syntax now supports |
|
26 control-symbol-cartouche form, with an embedded argument: |
|
27 \<^cite>\<open>arg\<close>. The embedded argument syntax supports both the optional |
|
28 and mandatory argument of the underlying \cite-like macro. |
|
29 |
|
30 Examples: |
|
31 |
|
32 \<^cite>\<open>\<open>\S1.2\<close> in "isabelle-system"\<close> |
|
33 \<^cite>\<open>"isabelle-system" and "isabelle-jedit"\<close> |
|
34 \<^nocite>\<open>"isabelle-isar-ref"\<close> |
|
35 |
|
36 The old antiquotation option "cite_macro" has been superseded by |
|
37 explicit syntax: \<^cite>\<open>\<dots> using macro_name\<close>. |
|
38 |
|
39 The command-line tool "isabelle update -u cite" helps to update former |
|
40 uses of LaTeX \cite commands and old-style @{cite "name"} document |
|
41 antiquotations. |
23 |
42 |
24 |
43 |
25 *** HOL *** |
44 *** HOL *** |
26 |
45 |
27 * Theory "HOL.Fun": |
46 * Theory "HOL.Fun": |