I've had what I consider to be success with a very similar setup...
I'm using:
Isabelle (isa2011-test1: January 2011, which has Proof General Version
4.1pre110112)
but with Aquamacs Distribution 2.1
on MacOS 10.6
I'm loading Aquamacs from the dock, so I don't get background noise.
Menus respo
On Sun, 23 Jan 2011, Clemens Ballarin wrote:
- MacOS X 10.5.8
Do you really have old Leopard, not Snow Leopard?
Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isa
I repeated my recent try of ProofGeneral on my Mac with
ProofGeneral-4.1pre110118. If used with Aquamacs I observe these
issues:
- Menus respond slowly (> 1 second) when invoked for the first time.
This is fine if Aquamacs is used without ProofGeneral.
- Noise on the background shell.
On Fri, 21 Jan 2011, Mamoun FILALI-AMINE wrote:
a remark: previously, there was aquamacs instead of emacs? I find
auqamacs more convenient than emacs.
In recent Isabelle releases the default combination was Proof General
3.7.1.1 with Aquamacs based on Emacs 22. That turned out as half-decent