NEWS
 changeset 12769 0f70bfe510ee parent 12754 044a59921f3b child 12777 70b2651af635
equal inserted replaced
12768:8b69dcccaabc 12769:0f70bfe510ee
    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