Skip to content

0.8.2
Compare
Choose a tag to compare
@eugenk eugenk released this 28 Sep 12:16
· 527 commits to master since this release
0.8.2
f071185

This release mostly contains bug and security fixes. It also features minor improvements in the UI.

The merged branches are:

  • Merge pull request #1482 from ontohub/fix_semaphore_in_synchronous_environment
  • Merge pull request #1471 from ontohub/change_ontohub_icon_to_svg
  • Merge pull request #1455 from ontohub/1341-1447-handle_proof_statuses_correctly
  • Merge pull request #1480 from ontohub/1478-deadlock_in_seeds
  • Merge pull request #1474 from ontohub/1465-undefined_method_split_for_diff_too_large_symbol
  • Merge pull request #1473 from ontohub/1450-ontohub_slow
  • Merge pull request #1441 from ontohub/1439-parse_the_status_attribute_of_theorems
  • Merge pull request #1440 from ontohub/1438-add_support_for_tptp_evaluation
  • Merge pull request #1470 from ontohub/1468-improve_multiple_hetsinstances_god_config
  • Merge pull request #1472 from ontohub/update_gems
  • Merge pull request #1459 from ontohub/update_ruby
  • Merge pull request #1462 from ontohub/1187-clarify_read_write_permissions_for_repositories
  • Merge pull request #1446 from ontohub/1445-run_multiple_hets_instances
  • Merge pull request #1451 from ontohub/update_gems
  • Merge pull request #1456 from ontohub/fix_proving_timeout
  • Merge pull request #1452 from ontohub/run_sidekiq_in_production_mode
  • Merge pull request #1442 from ontohub/230-delete_basic_proof_model
  • Merge pull request #1444 from ontohub/1443-fix_evaluation_state_on_theorems
  • Merge pull request #1449 from ontohub/1448-redesign_seeds_to_be_able_to_use_it_in_production_environment
  • Merge pull request #1428 from ontohub/1134-reduce_the_axiom_set_with_logic_independent_sine
  • Merge pull request #1435 from ontohub/squash_migrations
  • Merge pull request #1426 from ontohub/fix_git_home
  • Merge pull request #1425 from ontohub/1024-sentence_display_broken
  • Merge pull request #1413 from ontohub/1412-remove_default_scope_on_sentence
  • Merge pull request #1437 from ontohub/fix_axiom_selection_migration
  • Merge pull request #1424 from ontohub/1422-hide_prove_this_theorem_button_if_not_authorised
  • Merge pull request #1436 from ontohub/fix_mapping_spec
  • Merge pull request #1432 from ontohub/fix_broken_test
  • Merge pull request #1431 from ontohub/fix_rails_config_overwrite_arrays
  • Merge pull request #1427 from ontohub/1411-restructure_proving_pipeline
  • Merge pull request #1391 from ontohub/1134-create_basis_for_many_axiom_selection_methods
  • Merge pull request #1430 from ontohub/adjust_git_daemon_docs
  • Merge pull request #1390 from ontohub/disable_rspec_verbosity
  • Merge pull request #1423 from ontohub/fix_logicgraph_import
Assets 2