equal
deleted
inserted
replaced
25 * \<bullet> is now output as bold \cdot by default, which looks much |
25 * \<bullet> is now output as bold \cdot by default, which looks much |
26 better in printed text; |
26 better in printed text; |
27 |
27 |
28 * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>; |
28 * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>; |
29 note that these symbols are currently unavailable in Proof General / |
29 note that these symbols are currently unavailable in Proof General / |
30 X-Symbol; added \<euro> symbol; |
30 X-Symbol; new symbols \<zero>, \<one>, ..., \<nine>, and \<euro>; |
31 |
31 |
32 * isatool latex no longer depends on changed TEXINPUTS, instead |
32 * isatool latex no longer depends on changed TEXINPUTS, instead |
33 isatool document copies the Isabelle style files to the target |
33 isatool document copies the Isabelle style files to the target |
34 location; |
34 location; |
35 |
35 |