Cross Reference: /ontohub/app/models/tactic_script_extra

History log of /ontohub/app/models/tactic_script_extra_option.rb
Revision		Date	Author	Comments Expand
053ceac6fb85b88ce0f1dedbbe721207b846c561		19-May-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Beautify tactic script output. /ontohub/app/assets/stylesheets/proof-attempt.css.sass tactic_script_extra_option.rb /ontohub/app/views/proof_attempts/_result.html.haml /ontohub/app/views/proof_attempts/_tactic_script.html.haml /ontohub/config/locales/en.yml
54902f4ae3e2890f79caa066c860fc5e6fc67acc		28-Apr-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add model: TacticScript. proof_attempt.rb tactic_script.rb tactic_script_extra_option.rb /ontohub/db/migrate/20150409051342_create_tactic_scripts.rb /ontohub/db/migrate/20150409051349_create_tactic_script_extra_options.rb /ontohub/spec/factories/proof_attempt_factory.rb /ontohub/spec/factories/tactic_script_extra_options_factory.rb /ontohub/spec/factories/tactic_script_factory.rb /ontohub/spec/models/proof_attempt_spec.rb /ontohub/spec/models/tactic_script_extra_option_spec.rb /ontohub/spec/models/tactic_script_spec.rb