--- a/src/Pure/Isar/token.scala	Fri Dec 23 20:12:27 2016 +0100
+++ b/src/Pure/Isar/token.scala	Mon Dec 26 13:21:08 2016 +0100
@@ -152,6 +152,8 @@
     (toks.toList, ctxt)
   }
 
+  val newline: Token = explode(Keyword.Keywords.empty, "\n").head
+
 
   /* implode */
changeset 64671	93e375bd3283
parent 64471	c40c2975fb02
child 64728	601866c61ded