diff -r f4bb3068d819 -r 22b87ab47d3b Admin/components/optional
--- a/Admin/components/optional	Thu Oct 30 23:14:11 2014 +0100
+++ b/Admin/components/optional	Fri Oct 31 11:18:17 2014 +0100
@@ -1,3 +1,2 @@
 #optional components that could impact build time significantly
 hol-light-bundle-0.5-126
-ProofGeneral-4.2-2