[isabelle-dev] Update of jedit_build component

Makarius makarius at sketis.net
Fri Oct 21 21:05:52 CEST 2011

An optional update of the jedit_build component for "users" of the 
Isabelle repository version is now available here:


It does not change anything significant, apart from using the latest 
stable jEdit 4.4.2 instead of 4.4.1 before.


More information about the isabelle-dev mailing list