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