Skip to content

0.8.3
Compare
Choose a tag to compare
@ebolloff ebolloff released this 26 Jan 16:59
· 221 commits to master since this release
0.8.3
96f0487

This is a bugfix and security release. This release includes the following pull requests:

  • Merge pull request #1575 from ontohub/update_gems
  • Merge pull request #1577 from ontohub/635-backup
  • Merge pull request #1569 from ontohub/1457-initially_theorems_are_indefinitely_pending
  • Merge pull request #1568 from ontohub/1527-fix_associations
  • Merge pull request #1576 from ontohub/fix_proof_statuses
  • Merge pull request #1572 from ontohub/update_gems
  • Merge pull request #1562 from ontohub/1084-dont_allow_selection_of_private_readable_repository_mode
  • Merge pull request #1561 from ontohub/1251-fix_ontology_delete
  • Merge pull request #1552 from ontohub/1491-error_when_displaying_sentences
  • Merge pull request #1557 from ontohub/refactor_async_helper
  • Merge pull request #1574 from ontohub/styleguide_fixes
  • Merge pull request #1573 from ontohub/add_hound_configs
  • Merge pull request #1558 from ontohub/1383-cloning_of_private_repositories_is_possible
  • Merge pull request #1570 from ontohub/reactivate_hound
  • Merge pull request #1486 from ontohub/1467-send_file_name_extension_as_input_type_to_hets
  • Merge pull request #1556 from ontohub/167-creating_a_new_ontology_version_needs_to_be_propagated
  • Merge pull request #1560 from ontohub/1005-uninitialized_constant_sequentialontologybatchparseworker
  • Merge pull request #1554 from ontohub/1528-find_the_reason_for_the_empty_named_queue
  • Merge pull request #1138 from ontohub/635-backup-script
  • Merge pull request #1546 from ontohub/update_gems
  • Merge pull request #1547 from ontohub/fix_error_header_codes
  • Merge pull request #1548 from ontohub/revised-architecture-figure
  • Merge pull request #1545 from ontohub/864-show_warning_if_javascript_is_not_activated
  • Merge pull request #1544 from ontohub/1542-detect_timeout_message_of_spass
  • Merge pull request #1543 from ontohub/fix_sine_spec
  • Merge pull request #1512 from ontohub/improve_proving_test_coverage
  • Merge pull request #1534 from ontohub/update_gems
  • Merge pull request #1522 from ontohub/1520-perform_sine_preprocessing_in_a_transaction
  • Merge pull request #1533 from ontohub/fix_http_timeout_for_proving
  • Merge pull request #1531 from ontohub/reduce_scheduled_timeout_workers
  • Merge pull request #1530 from ontohub/update_gems
  • Merge pull request #1516 from ontohub/small_fixes
  • Merge pull request #1526 from ontohub/1525-re_check_up_states_of_hetsinstances_if_all_are_down
  • Merge pull request #1524 from ontohub/1523-hetsinstanceworkers_perform_too_often
  • Merge pull request #1521 from ontohub/1226-try_eye_instead_of_god
  • Merge pull request #1519 from ontohub/fix_ontology_search_delete_categories_from_view
Assets 2