[isabelle-dev] Update of jedit_build component

Christian STERNAGEL c-sterna at jaist.ac.jp
Wed Nov 30 02:45:13 CET 2011


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?



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

More information about the isabelle-dev mailing list