| changeset 11712 | deb8cac87063 |
| parent 11702 | ebfe5ba905b0 |
| child 11722 | 78cf55fd57c6 |
--- a/NEWS Mon Oct 08 14:29:02 2001 +0200 +++ b/NEWS Mon Oct 08 14:30:28 2001 +0200 @@ -13,6 +13,10 @@ * \<bullet> is no output as bold \cdot by default, which looks much better in printed text; +* added default LaTeX bindings for \<tturnstile> and \<TTurnstile>; +note that these symbols are currently unavailable in Proof General / +X-Symbol; + *** Isar ***