uniform use of theory base name for presentation;

--- 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;