[isabelle] Windows Command Line 2012



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??

Jens





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