src/Pure/Isar/outer_syntax.scala
changeset 48671 951bc4c3ee17
parent 48660 730ca503e955
child 48706 e2b512024eab
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Fri Aug 03 19:08:15 2012 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Sat Aug 04 16:56:42 2012 +0200
     1.3 @@ -49,7 +49,7 @@
     1.4      (for ((name, kind) <- keywords) yield {
     1.5        if (kind == Keyword.MINOR) quote(name)
     1.6        else quote(name) + " :: " + quote(kind)
     1.7 -    }).toList.sorted.mkString("Outer_Syntax(keywords ", " and ", ")")
     1.8 +    }).toList.sorted.mkString("keywords\n  ", " and\n  ", "")
     1.9  
    1.10    def keyword_kind(name: String): Option[String] = keywords.get(name)
    1.11