Cross Reference: _tactic_script.html.haml
xref: /ontohub/app/views/proof_attempts/_tactic_script.html.haml
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
_tactic_script.html.haml revision 053ceac6fb85b88ce0f1dedbbe721207b846c561
bcb4e51a409d94ae670de96afb8483a4f7855294Stephan Bosch%ul
447e086422f1ab7cc16833583ed70a4af7a84bc5Timo Sirainen %li= t('proof_attempts.tactic_script.time_limit.text', time_limit: tactic_script.time_limit)
447e086422f1ab7cc16833583ed70a4af7a84bc5Timo Sirainen %li
447e086422f1ab7cc16833583ed70a4af7a84bc5Timo Sirainen = t('proof_attempts.tactic_script.extra_options.headline')
447e086422f1ab7cc16833583ed70a4af7a84bc5Timo Sirainen %ul
447e086422f1ab7cc16833583ed70a4af7a84bc5Timo Sirainen - tactic_script.extra_options.each do |extra_option|
447e086422f1ab7cc16833583ed70a4af7a84bc5Timo Sirainen %li= extra_option
bdd36cfdba3ff66d25570a9ff568d69e1eb543cfTimo Sirainen

Indexes created Tue Jul 24 14:28:13 CEST 2018