diff -r 626a757d3c2d -r d3ee6315ca22 Admin/components/bundled
--- 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