tuned;
authorwenzelm
Wed Jan 22 23:19:10 2014 +0100 (2014-01-22)
changeset 5512068a829b7f1a4
parent 55119 9ca72949ebac
child 55121 2c9d6d305f14
tuned;
src/Doc/IsarRef/Document_Preparation.thy
     1.1 --- a/src/Doc/IsarRef/Document_Preparation.thy	Wed Jan 22 22:32:28 2014 +0100
     1.2 +++ b/src/Doc/IsarRef/Document_Preparation.thy	Wed Jan 22 23:19:10 2014 +0100
     1.3 @@ -468,8 +468,11 @@
     1.4    example.
     1.5  
     1.6    The rail specification language is quoted here as Isabelle @{syntax
     1.7 -  string}; it has its own grammar given below.
     1.8 +  string} or text @{syntax "cartouche"}; it has its own grammar given
     1.9 +  below.
    1.10  
    1.11 +  \begingroup
    1.12 +  \def\isasymnewline{\isatext{\tt\isacharbackslash<newline>}}
    1.13    @{rail \<open>
    1.14    rule? + ';'
    1.15    ;
    1.16 @@ -483,6 +486,7 @@
    1.17      '@'? (string | @{syntax antiquotation}) |
    1.18      '\<newline>'
    1.19    \<close>}
    1.20 +  \endgroup
    1.21  
    1.22    The lexical syntax of @{text "identifier"} coincides with that of
    1.23    @{syntax ident} in regular Isabelle syntax, but @{text string} uses