# 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}}