clarified init (again): isabelle.Main is responsible to provide basic JVM setup, jedit.jar picks this up (e.g. list of known fonts), plugin cannot be loaded in isolation without isabelle.Main;

New theorems about connected sets. And pairwise moved to Set.thy.

less ambitious regex -- avoid unclarities of escaping;

tuned documentation

tuned datatype docs

export proof method in signature

export '_cmd' functions

back to old JavaAppLauncher to avoid initial startup problems (due to unsigned application?);

tuned GUI;

proper isabelle.root for bootstrap;