Cross Reference: /ontohub/spec/factories/tactic_script

History log of /ontohub/spec/factories/tactic_script_factory.rb
Revision		Date	Author	Comments Expand
ae2c2796b22ac1f7070e2c4c3617989ba56fa276		02-Nov-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Fix TacticScript factory. /ontohub/app/models/tactic_script.rb tactic_script_factory.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 proof_attempt_factory.rb tactic_script_extra_options_factory.rb 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