Re: [isabelle] jedit interface with openjdk
On Tue, 21 Jun 2011, Ramana Kumar wrote:
I have experienced no problems whatsoever with the jedit interface
running with openjdk (apart from the annoying message upon startup
saying to get sun java instead).
I've added this message after a course using Isabelle/jEdit. There was a
very explicit instruction about which jdk to use, but it was ignored by
half of the attendants. This was the half that experienced various
problems and instabilities later.
For some odd reasons, official jdk is sometimes considered "evil" and
openjdk "good". But openjdk 6 is technologically bad -- I have spent
enough time with it and its problems, and the jEdit people do not support
it for their platform. (You can ask on one mailing lists an see what they
say now. I've checked last about 1 year ago.)
For Java 7 and 8 the situation will probably change again. Larry Ellison
(Oracle) has announced that openjdk will be made the official code base.
This means openjdk will become idiologically "bad" -- officially supported
by Oracle -- and I hope that it will become technologically good at the
same time. Otherwise we have a problem (and the whole Java community).
is it possible to copy and paste text out of the prover output window
(where current subgoals are displayed)?
This should work with regular C-c and C-v. The mechanism is different
from the one of the jEdit buffer, but it uses the same Java clipboard.
This archive was generated by a fusion of
Pipermail (Mailman edition) and