added speculative options for jEdit;
Boxes may now have different widths.
eliminated obsolete CVS Ids; tuned headers;
Source files for Isabelle theory graph browser. Initial revision.