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
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
Hi,
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?
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
An optional update of the jedit_build component for users of the
Isabelle repository version is now available here:
http://www4.in.tum.de/~wenzelm/test/jedit_build-20111015.tar.gz
It does not change anything significant, apart from using the latest
stable jEdit 4.4.2 instead of 4.4.1 before.