diff -r f2179be64805 -r 74862aa86529 Admin/components/bundled
--- a/Admin/components/bundled	Sat Jan 18 20:20:56 2014 +0100
+++ b/Admin/components/bundled	Sat Jan 18 20:49:15 2014 +0100
@@ -1,3 +1,3 @@
 #additional components to be bundled for release
-ProofGeneral-4.2
+ProofGeneral-4.2-1