diff -r e09446d3caca -r 589daaf48dba src/Pure/Isar/parse.scala
--- a/src/Pure/Isar/parse.scala	Fri Apr 05 20:43:43 2013 +0200
+++ b/src/Pure/Isar/parse.scala	Fri Apr 05 20:54:55 2013 +0200
@@ -59,7 +59,7 @@
     def xname: Parser[String] = atom("name reference", _.is_xname)
     def text: Parser[String] = atom("text", _.is_text)
     def ML_source: Parser[String] = atom("ML source", _.is_text)
-    def doc_source: Parser[String] = atom("document 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_ok(tok.content))
     def theory_name: Parser[String] =