added ProofGeneral-4.1 as standard component, which allows to discontinue special choosefrom magic eventually;
added ProofGeneral-4.1 as standard component, which allows to discontinue special choosefrom magic eventually;

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