src/Pure/PIDE/resources.ML
changeset 65497 7966bd7c6461
parent 65478 7c40477e0a87
child 65503 a3fffad8f217
     1.1 --- a/src/Pure/PIDE/resources.ML	Mon Apr 17 20:12:20 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.ML	Mon Apr 17 20:33:18 2017 +0200
     1.3 @@ -254,7 +254,7 @@
     1.4            warning ("Cannot present theory with skipped proofs: " ^ quote name)
     1.5          else
     1.6            let val tex_source = Thy_Output.present_thy thy res toks |> Buffer.content;
     1.7 -          in if document then Present.theory_output name tex_source else () end
     1.8 +          in if document then Present.theory_output (Long_Name.base_name name) tex_source else () end
     1.9        end;
    1.10  
    1.11    in (thy, present, size text) end;