tuned diagram;
authorwenzelm
Wed Nov 01 12:31:53 2017 +0100 (18 months ago)
changeset 6697143b2aac6053c
parent 66970 13857f49d215
child 66972 f65fc869e835
tuned diagram;
src/Doc/System/Sessions.thy
     1.1 --- a/src/Doc/System/Sessions.thy	Wed Nov 01 12:28:20 2017 +0100
     1.2 +++ b/src/Doc/System/Sessions.thy	Wed Nov 01 12:31:53 2017 +0100
     1.3 @@ -52,12 +52,9 @@
     1.4      @{syntax_def session_chapter}: @'chapter' @{syntax name}
     1.5      ;
     1.6  
     1.7 -    @{syntax_def session_entry}: @'session' spec '='
     1.8 -      (@{syntax system_name} '+')? body
     1.9 -    ;
    1.10 -    body: description? options? (sessions?) (theories*) \<newline> (document_files*)
    1.11 -    ;
    1.12 -    spec: @{syntax system_name} groups? dir?
    1.13 +    @{syntax_def session_entry}: @'session' @{syntax system_name} groups? dir? '=' \<newline>
    1.14 +      (@{syntax system_name} '+')? description? options? \<newline>
    1.15 +      (sessions?) (theories*) (document_files*)
    1.16      ;
    1.17      groups: '(' (@{syntax name} +) ')'
    1.18      ;