_configuration.html.haml revision e0ae31a48b304a53c4280b5b3b50a6dfba6d448a
98N/A- unless configuration.empty?
98N/A %h4= t('proof_attempts.configuration.headline')
98N/A = render partial: 'item', locals: {title: t('proof_attempts.configuration.timeout.headline'), body: t('proof_attempts.configuration.timeout.text', timeout: configuration.timeout)}
98N/A = render partial: 'item', locals: {title: t('proof_attempts.configuration.prover.headline'), body: configuration.prover}
98N/A = render partial: 'item', locals: {title: t('proof_attempts.configuration.logic_mapping.headline'), body: configuration.logic_mapping}
98N/A = render partial: 'item', locals: {title: t('proof_attempts.configuration.axioms.headline'), body: render(partial: 'sentences_list', locals: {sentences: configuration.axioms})}
98N/A = render partial: 'item', locals: {title: t('proof_attempts.configuration.goals.headline'), body: render(partial: 'sentences_list', locals: {sentences: configuration.goals})}