updated to Netbeans 6.7; added jEdit plugins; updated startup (Isabelle_System configuration);
updated to Netbeans 6.7;
added jEdit plugins;
updated startup (Isabelle_System configuration);

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle