equal
deleted
inserted
replaced
30 *** Document preparation *** |
30 *** Document preparation *** |
31 |
31 |
32 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ... |
32 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ... |
33 \guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc} |
33 \guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc} |
34 (which is now also the default in "isabelle mkroot"). |
34 (which is now also the default in "isabelle mkroot"). |
|
35 |
|
36 * Simplified typesetting of \<guillemotleft>...\<guillemotright> using \guillemotleft ... |
|
37 \guillemotright from \usepackage[T1]{fontenc} --- \usepackage{babel} is |
|
38 no longer required. |
35 |
39 |
36 |
40 |
37 *** HOL *** |
41 *** HOL *** |
38 |
42 |
39 * Theory Multiset: dedicated predicate "multiset" is gone, use |
43 * Theory Multiset: dedicated predicate "multiset" is gone, use |