Admin/build
2008-07-19 wenzelm 2008-07-19 build jedit plugin only if jedit is available;
2008-07-18 wenzelm 2008-07-18 fixed Scala path;
2008-07-17 wenzelm 2008-07-17 tuned build order;
2008-07-17 wenzelm 2008-07-17 less verbosity;
2008-07-17 wenzelm 2008-07-17 Administrative build -- finish Isabelle source distribution.