Isabelle/jEdit as IDE for Domain-specific Formal Languages and Informal Text Documents

Makarius Wenzel

Isabelle/jEdit is the main application of the Prover IDE (PIDE) framework and the default user-interface of Isabelle, but it is not limited to theorem proving. This paper explores…