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.



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