link.rb revision 1fdac69a6956a6ff3cc0e5c09b2cbe33b60a423a
CONS_STATUSES = %w( inconsistent none cCons mcons mono def )
:order => :version_number,
:class_name => 'LinkVersion' do
end
end
string = ""
if name
else
end
return string
end
if theorem
if proven
return "badge badge-success"
else
return "badge badge-important"
end
else
return "badge badge-inverse"
end
end
if entity_mappings.size > 1
return "#{entity_mappings.first}..."
else
return "#{entity_mappings.first}"
end
end
end