removed unused/broken Isabelle.exe for now -- needs update of Admin/launch4j;
removed unused/broken Isabelle.exe for now -- needs update of Admin/launch4j;

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