lib/tex/context/contextsetup.rb
# Return the name as html, without backslash and without start if it is an environment 
Return the name as html, without backslash and without start if it is an environment
Return the name as html without backslash and without start if it is an environment
def cmd_name_html
      @sequence.collect do |type,name|
        case type
        when :string
          name
        when :variable
          "<i>#{name}</i>"
        else
          raise "internal error"
        end
      end.to_s
    end
def cmd_name_html @sequence . collect do | type , name | case type when :string name when :variable "<i>#{name}</i>" else raise "internal error" end end . to_s end
Return the name as html, without backslash and without start if it is an environment
Return the name as html without backslash and without start if it is an environment