diff -r f77b946d18aa -r 93e375bd3283 src/Pure/Isar/token.scala
--- 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 */