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.
On 16 Feb 2010, at 20:44, david streader wrote:
> 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