# HG changeset patch # User wenzelm # Date 1210242439 -7200 # Node ID d3d750ada6045dbc33fae59944d1bac006a890d5 # Parent 9254cca608efe9b2e341a20dffebcf4b5be9504d added rail setup for verblbrace, verbrbrace; diff -r 9254cca608ef -r d3d750ada604 doc-src/IsarRef/isar-ref.tex --- a/doc-src/IsarRef/isar-ref.tex Thu May 08 04:20:08 2008 +0200 +++ b/doc-src/IsarRef/isar-ref.tex Thu May 08 12:27:19 2008 +0200 @@ -47,6 +47,9 @@ \railalias{rightleftharpoons}{\isasymrightleftharpoons}\railterm{rightleftharpoons} \railalias{rightharpoonup}{\isasymrightharpoonup}\railterm{rightharpoonup} \railalias{leftharpoondown}{\isasymleftharpoondown}\railterm{leftharpoondown} +\railalias{verblbrace}{\texttt{\ttlbrace*}}\railterm{verblbrace} +\railalias{verbrbrace}{\texttt{*\ttrbrace}}\railterm{verbrbrace} + \chardef\charbackquote=`\` \newcommand{\backquote}{\mbox{\tt\charbackquote}}