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

[Walther Neuper]

On 09/13/2011 11:38 AM, Lars Noschinski wrote:
>   - The command line help shows some option "-l" to use a different
>     logic image, but this does not seem to work.
"-l" works perfectly for us: for instance,

             /usr/local/isabelle/bin/isabelle jedit -l Isac Test_Isac.thy &

runs all tests on the behaviour of Isac "use"d in Test_Isac.thy.

Walther