changeset 55112 | b1a5d603fd12 |
parent 54705 | 0dff3326d12a |
child 56533 | cd8b6d849b6a |
--- a/src/Doc/System/Sessions.thy Wed Jan 22 16:03:11 2014 +0100 +++ b/src/Doc/System/Sessions.thy Wed Jan 22 17:02:05 2014 +0100 @@ -48,7 +48,7 @@ mode @{verbatim "isabelle-root"} for session ROOT files, which is enabled by default for any file of that name. - @{rail " + @{rail \<open> @{syntax_def session_chapter}: @'chapter' @{syntax name} ; @@ -73,7 +73,7 @@ theories: @'theories' opts? ( @{syntax name} * ) ; files: @'files' ( @{syntax name} + ) - "} + \<close>} \begin{description}