--- a/Admin/components/bundled Mon May 27 12:40:50 2013 +0200 +++ b/Admin/components/bundled Mon May 27 13:44:02 2013 +0200 @@ -1,3 +1,3 @@ #additional components to be bundled for release -ProofGeneral-4.1 +ProofGeneral-4.2