# HG changeset patch
# User wenzelm
# Date 1343212817 -7200
# Node ID d648225071dd32b86c65b939f131bb5435fbe518
# Parent  62f183129ae6d6014064e9f258b0ef6bf8b2771d
no hardwired default for Proof General component -- its users can use init_component separately;

diff -r 62f183129ae6 -r d648225071dd Admin/components
--- a/Admin/components	Wed Jul 25 12:39:35 2012 +0200
+++ b/Admin/components	Wed Jul 25 12:40:17 2012 +0200
@@ -9,5 +9,4 @@
 contrib/yices-1.0.28
 contrib/z3-4.0
 contrib/jedit_build-20120414
-contrib/ProofGeneral-4.1
 contrib/jdk-6u31