simplified span class in conformance to Scala version;
authorwenzelm
Sat Mar 10 23:45:47 2012 +0100 (2012-03-10 ago)
changeset 46866b190913c3c41
parent 46865 659dcbafe4bf
child 46867 0883804b67bb
child 46871 9100e6aa9272
simplified span class in conformance to Scala version;
src/Pure/Thy/html.ML
     1.1 --- a/src/Pure/Thy/html.ML	Sat Mar 10 23:28:42 2012 +0100
     1.2 +++ b/src/Pure/Thy/html.ML	Sat Mar 10 23:45:47 2012 +0100
     1.3 @@ -48,12 +48,7 @@
     1.4  
     1.5  fun span class = ("<span class=" ^ quote (XML.text class) ^ ">", "</span>");
     1.6  
     1.7 -fun span_class (name, props) =
     1.8 -  (case Isabelle_Markup.get_entity_kind (name, props) of
     1.9 -    SOME kind => Isabelle_Markup.entityN ^ "_" ^ name
    1.10 -  | NONE => name);
    1.11 -
    1.12 -val _ = Markup.add_mode htmlN (span o span_class);
    1.13 +val _ = Markup.add_mode htmlN (span o fst);
    1.14  
    1.15  
    1.16  (* symbol output *)