add test for history offset
add offset parameter to history
Removed bootstrap3.js, which was introduced due to the erroneous integration of bootstrap 3.
Merge branch 'develop' of github.com:ontohub/ontohub into develop
Removed debug output from logicgraph parser.
Removed superfluous jstree.js.coffee file introduced through the augmenting119_categories_for_ontologies branch.
Repaired paths for OOPS status updates.
Merge branch 'develop' into develop.ontohub.org