[isabelle-dev] Update of jedit_build component
c-sterna at jaist.ac.jp
Wed Nov 30 10:09:15 CET 2011
On 11/30/2011 05:58 PM, Makarius wrote:
> On Wed, 30 Nov 2011, Florian Haftmann wrote:
>> Hi Christian,
>>> with the below jedit_build component (is there a newer one?) and the
>>> Isabelle repository version a61510361b89, after building jedit with
>>> (isabelle jedit -f), The README under "Prover Session" is not shown
>>> and more importantly also "Output" stays empty. Do others experience
>>> the same problem?
>> do you use the same JDK version as advertised in the README file? I
>> had the same problem when using a successor version.
This was it. I had jdk 1.7.something installed. Now with 1.6.something
it works. Thanks!
> What exactly do you mean by successor version? Of JRE/JDK, jEdit, or
> In the meantime I have also switched my default Scala version to 2.8.2,
> although 2.8.1 and 2.9.1 should work as well (2.9.x still has a few
> minor problems notably with the Console).
I think florian was just referring to the JDK version.
More information about the isabelle-dev