src/Pure/Isar/outer_syntax.ML
changeset 56334 6b3739fee456
parent 56294 85911b8a6868
child 56895 f058120aaad4
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Mon Mar 31 10:28:08 2014 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Mon Mar 31 12:35:39 2014 +0200
     1.3 @@ -219,7 +219,7 @@
     1.4    dest_commands (#2 (get_syntax ()))
     1.5    |> filter (fn (name, _) => forall (fn pat => match_string pat name) pats)
     1.6    |> map pretty_command
     1.7 -  |> Pretty.chunks |> Pretty.writeln;
     1.8 +  |> Pretty.writeln_chunks;
     1.9  
    1.10  fun print_outer_syntax () =
    1.11    let
    1.12 @@ -231,7 +231,7 @@
    1.13      [Pretty.strs ("syntax keywords:" :: map quote keywords),
    1.14        Pretty.big_list "commands:" (map pretty_command cmds),
    1.15        Pretty.big_list "interactive-only commands:" (map pretty_command int_cmds)]
    1.16 -    |> Pretty.chunks |> Pretty.writeln
    1.17 +    |> Pretty.writeln_chunks
    1.18    end;
    1.19  
    1.20