src/Pure/PIDE/document.ML
changeset 54509 1f77110c94ef
parent 52862 930ce8eacb87
child 54516 2a7f9e79cb28
     1.1 --- a/src/Pure/PIDE/document.ML	Mon Nov 18 09:45:50 2013 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Mon Nov 18 17:16:56 2013 +0100
     1.3 @@ -70,7 +70,7 @@
     1.4    visible_last = try List.last command_ids,
     1.5    overlays = Inttab.make_list overlays};
     1.6  
     1.7 -val no_header = ("", Thy_Header.make ("", Position.none) [] [], ["Bad theory header"]);
     1.8 +val no_header = ("", Thy_Header.make ("", Position.none) [] [], ["No theory header"]);
     1.9  val no_perspective = make_perspective (false, [], []);
    1.10  
    1.11  val empty_node = make_node (no_header, no_perspective, Entries.empty, NONE);