TY  - RPRT
TI  - Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents
AU  - Makarius Wenzel
PY  - 2018
DO  - 10.4204/eptcs.284.6
UR  - https://arxiv.org/abs/1811.10819
ID  - 1811.10819
ER  -