equal
deleted
inserted
replaced
57 isabelle.jedit.JEdit_Plugin1 (for isabelle_jedit_main.jar). |
57 isabelle.jedit.JEdit_Plugin1 (for isabelle_jedit_main.jar). |
58 |
58 |
59 |
59 |
60 *** Document preparation *** |
60 *** Document preparation *** |
61 |
61 |
62 * More predefined symbols: \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX package |
62 * More predefined symbols: \<Parallel> \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX |
63 "pifont"). |
63 package "pifont"). |
64 |
64 |
65 * High-quality blackboard-bold symbols from font "txmia" (LaTeX package |
65 * High-quality blackboard-bold symbols from font "txmia" (LaTeX package |
66 "pxfonts"): \<bbbA>\<bool>\<complex>\<bbbD>\<bbbE>\<bbbF>\<bbbG>\<bbbH>\<bbbI>\<bbbJ>\<bbbK>\<bbbL>\<bbbM>\<nat>\<bbbO>\<bbbP>\<rat>\<real>\<bbbS>\<bbbT>\<bbbU>\<bbbV>\<bbbW>\<bbbX>\<bbbY>\<int>. |
66 "pxfonts"): \<bbbA>\<bool>\<complex>\<bbbD>\<bbbE>\<bbbF>\<bbbG>\<bbbH>\<bbbI>\<bbbJ>\<bbbK>\<bbbL>\<bbbM>\<nat>\<bbbO>\<bbbP>\<rat>\<real>\<bbbS>\<bbbT>\<bbbU>\<bbbV>\<bbbW>\<bbbX>\<bbbY>\<int>. |
67 |
67 |
68 * Document antiquotations for ML text have been refined: "def" and "ref" |
68 * Document antiquotations for ML text have been refined: "def" and "ref" |