Re: [isabelle] Aqumacs Emacs fails to cut **.thy!

I have the best luck with the Carbon Emacs Package. You can set it up so that the option key behaves like meta. The only thing I couldn't get working was the "delete forward" key.

Larry Paulson

On 16 Feb 2010, at 20:44, david streader wrote:

> Hi
>    I am using isabelle  on a mac with the downloaded  disk image  containing  aqumacs emacs.
> All works with the exception of cut and paste.  Cut fails to do any thing and paste often pastes the last but one copy.  And this is only true for **.thy the Haskell files  **.hs files  can be edited just fine.
> I have tried updateing aqumacs 1.7 that came with isabelle to version 1.9 but the problem persists.
> Any ideas how to fix this?
> david streader

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