[isabelle-dev] Update of jedit_build component

[Christian STERNAGEL]

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?

cheers

chris

On 10/22/2011 04:05 AM, Makarius wrote:
> 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.
>
>
> Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>