author wenzelm

Wed, 25 Jul 2012 12:40:17 +0200

changeset 49514 d648225071dd

parent 49513 62f183129ae6

child 49515 bf7f434b91d7

Admin/components file | annotate | diff | comparison | revisions
     1.1 --- a/Admin/components	Wed Jul 25 12:39:35 2012 +0200
     1.2 +++ b/Admin/components	Wed Jul 25 12:40:17 2012 +0200
     1.3 @@ -9,5 +9,4 @@
     1.4  contrib/yices-1.0.28
     1.5  contrib/z3-4.0
     1.6  contrib/jedit_build-20120414
     1.7 -contrib/ProofGeneral-4.1
     1.8  contrib/jdk-6u31