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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
