Cross Reference: /ontohub/spec/models/manual_axiom_selection

History log of /ontohub/spec/models/manual_axiom_selection_spec.rb
Revision		Date	Author	Comments Expand
5dd0a6bcc5adb36d1d3ade5b3e7aa8e6f0bec236		10-Aug-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Let AxiomSelection have many ProofAttemptConfigurations. /ontohub/app/models/axiom_selection.rb /ontohub/app/models/sine_axiom_selection.rb /ontohub/spec/factories/axiom_selection_factory.rb /ontohub/spec/factories/proof_attempt_configuration_factory.rb axiom_selection_spec.rb manual_axiom_selection_spec.rb sine_axiom_selection_spec.rb
554e4d0dd1f4e02034b3b142c8ea100a9f6a1fdc		10-Jul-2015	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	Add basic specs for AxiomSelections. /ontohub/spec/factories/axiom_selection_factory.rb axiom_selection_spec.rb manual_axiom_selection_spec.rb