ontohub/ontohub — pull request #1127 by 0robustus1 (2014-11-30 23:40:18+00:00)
Title: 1066 provide xml for logics

Should at least be a partial-fix for #1066 and #32. It should be decided by @tillmo whether to merge this and if one or the other (or both) issues should be closed afterwards.