Cross Reference: /ontohub/db/seeds/030-proof

History log of /ontohub/db/seeds/030-proof_statuses.rb
Revision		Date	Author	Comments Expand
994db9f9453a462e4235246a79f9a7fd2769a93f		17-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Move rake task logic to RakeHelper. 020-logicgraph.rb 030-proof_statuses.rb 080-metadata.rb 090-categories.rb /ontohub/lib/rake_helper.rb /ontohub/lib/tasks/generate.rake
12c59b7f5e3256428dd869f3b2d945ba22daca08		04-Dec-2014	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Use SZS ontology to create ProofStatus. /ontohub/app/models/proof_status.rb /ontohub/app/models/proof_status/create_from_ontology.rb /ontohub/app/models/theorem.rb 030-proof_statuses.rb /ontohub/lib/tasks/generate.rake /ontohub/spec/models/theorem_spec.rb