Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added \isasymdash;
authorwenzelm
Sat, 03 May 2008 13:25:27 +0200
changeset 26778 378bdbce68e6
parent 26777 134529bc72db
child 26779 35809287ab23
added \isasymdash;
doc-src/IsarRef/style.sty file | annotate | diff | comparison | revisions 
--- 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
isabelle