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".

Larry Paulson


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






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