# HG changeset patch
# User wenzelm
# Date 1209813927 -7200
# Node ID 378bdbce68e6e2efe068305eee4d0975adf01a29
# Parent  134529bc72dbb64bb17ae38771221e231c14fc3e
added \isasymdash;

diff -r 134529bc72db -r 378bdbce68e6 doc-src/IsarRef/style.sty
--- a/doc-src/IsarRef/style.sty	Fri May 02 22:49:53 2008 +0200
+++ b/doc-src/IsarRef/style.sty	Sat May 03 13:25:27 2008 +0200
@@ -46,6 +46,7 @@
 \isabellestyle{it}
 \renewcommand{\isacharunderscore}{\_}
 \renewcommand{\isacharunderscorekeyword}{\_}
+\newcommand{\isasymdash}{\mbox{-}}
 
 %%% Local Variables: 
 %%% mode: latex