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

Lars Noschinski noschinl at in.tum.de
Tue Sep 13 12:07:58 CEST 2011


On 13.09.2011 12:01, Walther Neuper wrote:
> 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 &

Ah; the -l option only works if "Default" is chosen as logic image in 
the theory selector in Isabelle/jEdit. If a specific theory is selected, 
then the command line switch is overridden.

   -- Lars



More information about the isabelle-dev mailing list