Cross Reference: /ontohub/app/models/prover.rb

History log of /ontohub/app/models/prover.rb
Revision		Date	Author	Comments Expand
37cfd79b7d63403b685da17998da3c161fa30a61		04-May-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add display_name attribute to Prover. prover.rb /ontohub/db/migrate/20150420141258_add_display_name_to_prover.rb
14d19b08f079988d61ea653d1d7c439522e9ae70		26-Mar-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add model: Prover. prover.rb /ontohub/db/migrate/20150311193056_create_provers.rb /ontohub/spec/factories/prover_factory.rb /ontohub/spec/models/prover_spec.rb