[isabelle-dev] NEWS: Isabelle/jEdit (19e1c6e922b6)

Makarius makarius at sketis.net
Tue Sep 6 22:00:49 CEST 2011

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: 


More information about the isabelle-dev mailing list