[isabelle-dev] Towards the next release
lp15 at cam.ac.uk
Fri Nov 30 16:02:18 CET 2012
It actually makes sense to put every effort into making the jEdit version as good as possible, especially for beginners. It might be worth investigating what issues cause them the most problems; I imagine that some sort of short tutorial video or slideshow (analogous to the one I made a number of years ago) might be better than any amount of written documentation.
I think we should still include hints on how to use PG but without the same level of support as in the past. Obviously, if a clamour arose for a bundled PG version, we could deal with that at the time.
On 29 Nov 2012, at 17:22, Makarius <makarius at sketis.net> wrote:
> Generally, it touches the question if Proof General should be bundled at all. I started that a long time ago to approximate an out-of-the-box experience for Isabelle, but never succeeded in the last consequence. Right now there are PG 220.127.116.11, 4.0, 4.1 being activly used, so which one to chose? (I would have taken the latest stable version.)
More information about the isabelle-dev