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

Walther Neuper wneuper at ist.tugraz.at
Tue Sep 13 12:01:24 CEST 2011

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.


More information about the isabelle-dev mailing list