proper theory name, e.g. for HTML/PIDE presentation;
authorwenzelm
Tue, 05 Jan 2021 16:39:53 +0100
changeset 73300 32618ae1b65d
parent 73299 45a34cc581b8
child 73301 523806d71dea
proper theory name, e.g. for HTML/PIDE presentation;
src/Pure/theory.ML
--- a/src/Pure/theory.ML	Tue Jan 05 16:24:59 2021 +0100
+++ b/src/Pure/theory.ML	Tue Jan 05 16:39:53 2021 +0100
@@ -132,7 +132,7 @@
 
 fun get_markup thy =
   let val {pos, id, ...} = rep_theory thy
-  in theory_markup false (Context.theory_name thy) id pos end;
+  in theory_markup false (Context.theory_long_name thy) id pos end;
 
 fun check long ctxt (name, pos) =
   let