Cross Reference: /ontohub/spec/models/prover

History log of /ontohub/spec/models/prover_spec.rb
Revision		Date	Author	Comments Expand
4b892a7f6b14ae97b79386d8b7fa46d48e894b40		04-May-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Adjust prover factory and spec to use display name. /ontohub/spec/factories/prover_factory.rb prover_spec.rb
14d19b08f079988d61ea653d1d7c439522e9ae70		26-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add model: Prover. /ontohub/app/models/prover.rb /ontohub/db/migrate/20150311193056_create_provers.rb /ontohub/spec/factories/prover_factory.rb prover_spec.rb