src/Pure/Isar/outer_syntax.scala
changeset 60694 b3fa4a8cdb5f
parent 60692 896704918a1f
child 61463 8e46cea6a45a
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Wed Jul 08 14:30:00 2015 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Wed Jul 08 15:37:32 2015 +0200
     1.3 @@ -166,6 +166,8 @@
     1.4            if (tok.is_command) {
     1.5              if (tok.is_command_kind(keywords, Keyword.theory_goal)) (2, 1)
     1.6              else if (tok.is_command_kind(keywords, Keyword.theory)) (1, 0)
     1.7 +            else if (tok.is_command_kind(keywords, Keyword.PRF_BLOCK == _)) (y + 2, y + 1)
     1.8 +            else if (tok.is_command_kind(keywords, Keyword.QED_BLOCK == _)) (y + 1, y - 3)
     1.9              else if (tok.is_command_kind(keywords, Keyword.proof_open)) (y + 2, y + 1)
    1.10              else if (tok.is_command_kind(keywords, Keyword.proof_close)) (y + 1, y - 1)
    1.11              else if (tok.is_command_kind(keywords, Keyword.qed_global)) (1, 0)