| changeset 42662 | 2080fe35abea |
| parent 42510 | b9c106763325 |
| child 45258 | 97f8806c3ed6 |
--- a/doc-src/IsarImplementation/Thy/document/Syntax.tex Tue May 03 20:59:24 2011 +0200 +++ b/doc-src/IsarImplementation/Thy/document/Syntax.tex Tue May 03 21:07:24 2011 +0200 @@ -168,7 +168,7 @@ \end{matharray} \begin{railoutput} -\rail@begin{4}{\isa{}} +\rail@begin{4}{} \rail@bar \rail@term{\hyperlink{ML antiquotation.class-syntax}{\mbox{\isa{class{\isaliteral{5F}{\isacharunderscore}}syntax}}}}[] \rail@nextbar{1}