# HG changeset patch
# User wenzelm
# Date 1492453998 -7200
# Node ID 7966bd7c64618b04baacbb018fd7891a1fbca675
# Parent  ca8dcb2a500c2e64e50e3a488767e33cfb612044
uniform use of theory base name for presentation;

diff -r ca8dcb2a500c -r 7966bd7c6461 src/Pure/PIDE/resources.ML
--- a/src/Pure/PIDE/resources.ML	Mon Apr 17 20:12:20 2017 +0200
+++ b/src/Pure/PIDE/resources.ML	Mon Apr 17 20:33:18 2017 +0200
@@ -254,7 +254,7 @@
           warning ("Cannot present theory with skipped proofs: " ^ quote name)
         else
           let val tex_source = Thy_Output.present_thy thy res toks |> Buffer.content;
-          in if document then Present.theory_output name tex_source else () end
+          in if document then Present.theory_output (Long_Name.base_name name) tex_source else () end
       end;
 
   in (thy, present, size text) end;