# HG changeset patch # User wenzelm # Date 1002544228 -7200 # Node ID deb8cac87063fed4acfb910e0e01f8f95544c4a2 # Parent ecdfd237ffee8a1ad94f5de8b2a94cee9811a661 * added default LaTeX bindings for \ and \; note that these symbols are unavailable in Proof General / X-Symbol; diff -r ecdfd237ffee -r deb8cac87063 NEWS --- a/NEWS Mon Oct 08 14:29:02 2001 +0200 +++ b/NEWS Mon Oct 08 14:30:28 2001 +0200 @@ -13,6 +13,10 @@ * \ is no output as bold \cdot by default, which looks much better in printed text; +* added default LaTeX bindings for \ and \; +note that these symbols are currently unavailable in Proof General / +X-Symbol; + *** Isar ***