On Tue, 6 Sep 2011, Makarius wrote: > * Improved Isabelle/jEdit Prover IDE (PIDE), which can be invoked as > "isabelle jedit" on the command line. The required build component is still the same: http://www4.in.tum.de/~wenzelm/test/jedit_build-20110622.tar.gz Makarius