ontohub/ontohub — pull request #644 by SGraef (2014-02-06 16:39:44+00:00)
Title: show only logics with ontologies as default

fixes #586