Cross Reference: /ontohub/spec/models/tactic_script

History log of /ontohub/spec/models/tactic_script_spec.rb
Revision		Date	Author	Comments Expand
56e6265eef4a0975bd42dba3009aa8aab494fba5		02-Nov-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Test to_s on TacticScript. tactic_script_spec.rb
54902f4ae3e2890f79caa066c860fc5e6fc67acc		28-Apr-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add model: TacticScript. /ontohub/app/models/proof_attempt.rb /ontohub/app/models/tactic_script.rb /ontohub/app/models/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 proof_attempt_spec.rb tactic_script_extra_option_spec.rb tactic_script_spec.rb