Cross Reference: edit.html.haml
xref
: /
ontohub
/
app
/
views
/
mappings
/
edit.html.haml
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
%h2= @page_title = 'Edit Mapping-Metadata'
= simple_form_for resource do |f|
=
f.input
:iri
=
f.input
:kind, as: :select, collection: Mapping::KINDS, include_blank: false
=
f.input
:theorem
=
f.input
:proven
=
f.input
:local
=
f.input
:inclusion
=
f.button
:submit, class: 'btn btn-primary'