search

nie-ine / inseri

inseri serves as an online collaborative work and publish environment.
https://nie-ine.github.io/inseri
Other
13 stars 4 forks source link

Syntax highlighting for reasoning output #561

Closed cyrill-martin closed 4 years ago

cyrill-martin commented 4 years ago

Currently, the received turtle file is shown as plain text within an iframe.