# HG changeset patch
# User wenzelm
# Date 1002544228 -7200
# Node ID deb8cac87063fed4acfb910e0e01f8f95544c4a2
# Parent  ecdfd237ffee8a1ad94f5de8b2a94cee9811a661
* added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
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 @@
 * \<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 ***