equal
deleted
inserted
replaced
10 * support bold style (for single symbols only), input syntax is like |
10 * support bold style (for single symbols only), input syntax is like |
11 this: "\<^bold>\<alpha>" or "\<^bold>A"; |
11 this: "\<^bold>\<alpha>" or "\<^bold>A"; |
12 |
12 |
13 * \<bullet> is no output as bold \cdot by default, which looks much |
13 * \<bullet> is no output as bold \cdot by default, which looks much |
14 better in printed text; |
14 better in printed text; |
|
15 |
|
16 * added default LaTeX bindings for \<tturnstile> and \<TTurnstile>; |
|
17 note that these symbols are currently unavailable in Proof General / |
|
18 X-Symbol; |
15 |
19 |
16 |
20 |
17 *** Isar *** |
21 *** Isar *** |
18 |
22 |
19 * renamed "antecedent" case to "rule_context"; |
23 * renamed "antecedent" case to "rule_context"; |