Re: [isabelle] Isabelle In MAC

The Isabelle distribution is hidden inside the folder. 

To browse the files in the Finder, right-click on 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.