app/helpers/proofs_helper.rb

	proofs_helper.rb revision 543c1be79aecb1d19f3bd50d8581da5c1cd0893b
module ProofsHelper
  def form_url_chain
    chain = resource_chain
    chain << resource.proof_obligation if resource.theorem?
    chain << :proofs
  end

  def klass
    t("proofs.new.klass.#{resource.proof_obligation.class.to_s.underscore}")
  end
end