1261N/A%h2= @page_title = "Create new Link"

970N/A

970N/A= simple_form_for resource, html: { class: 'form-horizontal' } do |f|

970N/A = f.input :iri

970N/A = f.input :kind, :as => :select, :collection => Link::KINDS, :include_blank => false

970N/A = f.input :theorem

970N/A = f.input :proven

970N/A = f.input :local

970N/A = f.input :inclusion

970N/A

970N/A = f.simple_fields_for :versions, resource.versions.first do |vf|

970N/A = vf.input :required_cons_status, :as => :select, :collection => Link::CONS_STATUSES, :include_blank => false

970N/A = vf.input :proven_cons_status, :as => :select, :collection => Link::CONS_STATUSES, :include_blank => false

970N/A = vf.input :proof_status, :as => :select, :collection => Link::CONS_STATUSES, :include_blank => false

970N/A = f.association :source, :include_blank => false

970N/A = f.association :target, :include_blank => false

970N/A = f.button :wrapped

970N/A