[isabelle-dev] Towards the next release
lp15 at cam.ac.uk
Tue Nov 20 18:27:58 CET 2012
I am using version 4.1. I was having problems compiling 4.2, and it doesn't seem to run in interpreted mode. I'm not sure what is changed between 4.1 and 4.2 anyway.
For the Emacs client, definitely Aquamacs. The other Emacs port is terrible, in particular because it doesn't behave at all like a native OS X application. And this for me is still a problem with jEdit as well.
On 20 Nov 2012, at 13:41, Makarius <makarius at sketis.net> wrote:
> Another important issue, where I am myself not involved but can still give some hints is Proof General. How will it be bundled this time, which version of it and which versions of Emacs supported? Traditionally, I've spent myself 2-3 weeks before each release on such questions, but omitted it the last 2 times (where I mostly consolidated the distribution as a whole and made it work smoothly for Windows instead).
More information about the isabelle-dev