diff -r 03aa1b63af10 -r d96cb03caf9e src/Pure/Isar/parse.scala
--- a/src/Pure/Isar/parse.scala	Sat Mar 14 16:56:11 2015 +0100
+++ b/src/Pure/Isar/parse.scala	Sat Mar 14 17:23:58 2015 +0100
@@ -72,8 +72,10 @@
     def text: Parser[String] = atom("text", _.is_text)
     def ML_source: Parser[String] = atom("ML source", _.is_text)
     def document_source: Parser[String] = atom("document source", _.is_text)
+
     def path: Parser[String] =
       atom("file name/path specification", tok => tok.is_name && Path.is_wellformed(tok.content))
+
     def theory_name: Parser[String] =
       atom("theory name", tok => tok.is_name && Path.is_wellformed(tok.content))
     def theory_xname: Parser[String] =