[isabelle-dev] NEWS: Isabelle/jEdit (19e1c6e922b6)
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.
More information about the isabelle-dev