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