Notes on the Isabelle/jEdit Prover IDE

Limitations and workrounds (January 2011)