src/Pure/Thy/present.ML
changeset 56787 81dc6fffdf30
parent 56614 d80f43dab30e
child 57885 0835aa55ba21
     1.1 --- a/src/Pure/Thy/present.ML	Tue Apr 29 15:35:40 2014 +0200
     1.2 +++ b/src/Pure/Thy/present.ML	Tue Apr 29 15:42:19 2014 +0200
     1.3 @@ -362,7 +362,7 @@
     1.4  
     1.5      val _ =
     1.6        if not (null jobs) andalso null doc_files then
     1.7 -        Output.physical_stderr ("### Document preparation for session " ^ quote name ^
     1.8 +        Output.physical_stderr ("### Legacy feature! Document preparation for session " ^ quote name ^
     1.9            " without 'document_files'\n")
    1.10        else ();
    1.11