Getting Started with Isabelle/jEdit
We give a beginner-oriented introduction to Isabelle/jEdit, providing motivation for using it as well as pointing at some differences to the traditional Proof General interface and current limitations.