Re: [isabelle] Isabelle In MAC
The Isabelle distribution is hidden inside the Isabelle2011.app folder.
To browse the files in the Finder, right-click on Isabelle2011.app and choose "show package contents".
On 22 Feb 2011, at 02:03, li yongjian wrote:
> Dear Isabelle users:
> Recently, I install Isabelle in MACBOOK.
> It is ok.
> But I cannot find the Isabelle directly, I need run some proof script in
> the source directory. who can help me?
This archive was generated by a fusion of
Pipermail (Mailman edition) and