Skip to content

0.8.3.4
Compare
Choose a tag to compare
@eugenk eugenk released this 15 Mar 23:14
· 157 commits to master since this release
0.8.3.4
3aa9e3f

This is a bugfix and refactoring release containing the following merges:

  • Merge pull request #1624 from ontohub/1591-child_ontologies_are_indefinitely_pending
  • Merge pull request #1629 from ontohub/1627-stop_retrying_everything_automatically
  • Merge pull request #1621 from ontohub/1593-undefined_method_retrieve_available_provers_for_nil_nilclass
  • Merge pull request #1628 from ontohub/1625-proveroutput_ontology_delegated_to_proof_attempt_ontology_but_proof_attempt_is_nil
  • Merge pull request #1623 from ontohub/1619-change_password_title_not_shown_correctly
  • Merge pull request #1614 from ontohub/1453-learn_more_button_does_not_work_correctly
Assets 2