ontohub/ontohub

Issues

• Onthub subscription page needs captcha

  #1809 opened a year ago by jelmd
  0

• Unclear project status

  #1808 opened 3 years ago by cknoll
  0

• graphical visualisations of OMS

  #1725 opened 8 years ago by tillmo
  0

• display justifications of theorems

  #1803 opened 8 years ago by tillmo
  0

• theorems are processing indefinitely

  #1802 opened 8 years ago by tillmo
  3

• git-push into a repository doesn't start jobs

  #1779 opened 8 years ago by eugenk
  2

• open theorems should be called proof goals

  #1801 opened 8 years ago by tillmo
  0

• Default empty prefix

  #1800 opened 8 years ago by tillmo
  0

• cannot display mappings

  #1799 opened 8 years ago by tillmo
  4

• online editing adds CRs

  #1776 opened 8 years ago by tillmo
  7

• Jenkins-CI is not trustworthy

  #1774 opened 8 years ago by eugenk
  5

• prover pellet is not shown

  #1795 opened 8 years ago by tillmo
  1

• Request Hets's version outside of mutex-block

  #1791 opened 8 years ago by eugenk
  2

• proof attempt time is not correct

  #1794 opened 8 years ago by tillmo
  0

• commited versions does not lead to new ontology version

  #1777 opened 8 years ago by tillmo
  3

• Leo-II and Satallax are processing indefinitely

  #1793 opened 8 years ago by tillmo
  0

• Fix Deadlocks Caused by Semaphore

  #1729 opened 8 years ago by eugenk
  5

• uploading a file causes error

  #1788 opened 8 years ago by tillmo
  3

• avoid /// in browser

  #1792 opened 8 years ago by tillmo
  0

• LocIds containing a dot in the last segment fail to resolve

  #1790 opened 8 years ago by phyrog
  0

• Remove ConcurrencyBalancer

  #1789 opened 8 years ago by eugenk
  0

• Refactor module WrappingRedis

  #1786 opened 8 years ago by eugenk
  0

• Broken travis builds

  #1781 opened 8 years ago by phyrog
  0

• transfer proof attempts along ontology changes

  #1784 opened 8 years ago by tillmo
  0

• Not everything gets loaded in rails c

  #1728 opened 8 years ago by eugenk
  6

• also show id of commit

  #1778 opened 8 years ago by tillmo
  0

• Admin user can't see private repository in repository overview

  #1770 opened 8 years ago by ebolloff
  0

• CASL overloading not possible

  #1767 opened 8 years ago by tillmo
  5

• undefined method `symbols'

  #1749 opened 8 years ago by tillmo
  0

• loc_id_base_model associations are not complete

  #1765 opened 8 years ago by phyrog
  0

• wait for sql to finish before parsing worker

  #1753 opened 8 years ago by tillmo
  0

• Improve loc_id performance

  #1738 opened 8 years ago by phyrog
  1

• Commit saving a commit with author, committer and pusher being the same user saves the committer_name

  #1736 opened 8 years ago by phyrog
  1

• when uploading file, warn user if file with same base already exists

  #1764 opened 8 years ago by tillmo
  0

• Display ontology parsing status in ontology list

  #1762 opened 8 years ago by phyrog
  0

• Cache git directory structure in the database

  #1742 opened 8 years ago by eugenk
  1

• Integration of an activity stream

  #1760 opened 8 years ago by phyrog
  0

• Pagination is not used consistently

  #1759 opened 8 years ago by phyrog
  0

• Inconsistent layout of list-like structures

  #1758 opened 8 years ago by phyrog
  0

• Finalise Jenkins configuration

  #1754 opened 8 years ago by eugenk
  2

• Use NTP on the production machines?

  #1752 opened 8 years ago by eugenk
  1

• Upgrade minimum Hets version for better anbiguous Loc/Id handling

  #1721 opened 8 years ago by eugenk
  2

• "Your ontologies" window too wide in mappings view

  #1751 opened 8 years ago by ebolloff
  0

• ActiveRecord::RecordInvalid in RepositoriesController#destroy

  #1735 opened 8 years ago by ebolloff
  1

• Remove unused method import_remote

  #1741 opened 8 years ago by eugenk
  0

• show Sine axiom selection already before proving is started

  #1731 opened 8 years ago by tillmo
  0

• "Permission denied" on staging.ontohub.org

  #1727 opened 8 years ago by tillmo
  1

• From the ontology page, have a link to "edit file"

  #1726 opened 8 years ago by tillmo
  0

• display ontology files in different serializations

  #1724 opened 8 years ago by tillmo
  0

• from commit diff, link to files

  #1723 opened 8 years ago by tillmo
  0