diff -r 5c40782f68b3 -r bcc643ac071a src/Pure/Thy/thy_output.ML
--- a/src/Pure/Thy/thy_output.ML	Tue Feb 18 15:38:50 2014 +0100
+++ b/src/Pure/Thy/thy_output.ML	Tue Feb 18 16:34:02 2014 +0100
@@ -188,7 +188,7 @@
 
 
 fun check_text (txt, pos) state =
- (Position.report pos Markup.document_source;
+ (Position.report pos Markup.language_document;
   if Toplevel.is_skipped_proof state then ()
   else ignore (eval_antiquote (#1 (Keyword.get_lexicons ())) state (txt, pos)));