Re: [isabelle] Windows Command Line 2012



Am 27.07.2012 um 12:05 schrieb Jens Doll:

> Hello Jasmine,
> 
> the command line interface does not work in Win7. I tried
> 
> >isabelle.exe -l FOL
> 
> but only jEdit was opened.
> 
> What's wrong??

Why are you asking me in particular?

The command line interface is invoked by the "isabelle tty" command.

Regards,

Jasmin






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.