ontohub/ontohub — pull request #812 by eugenk (2014-04-03 13:05:03+00:00)
Title: 23 codemirror integration

Implementation of #23
There are no tests for this feature yet. I'll create them in a new branch.