The Isabelle/jEdit Prover IDE

Isabelle symbols and fonts

Limitations and workrounds (January 2011)