[isabelle-dev] Update of jedit_build component

[Makarius]

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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev