Admin/components/main
changeset 56110 9c1a6dff3e86
parent 55491 74db756853d4
child 56274 71eab6907eee
     1.1 --- a/Admin/components/main	Thu Mar 13 14:55:38 2014 +0100
     1.2 +++ b/Admin/components/main	Thu Mar 13 15:54:41 2014 +0100
     1.3 @@ -11,5 +11,6 @@
     1.4  scala-2.10.3
     1.5  spass-3.8ds
     1.6  z3-3.2-1
     1.7 +z3-4.3.0
     1.8  xz-java-1.2-1
     1.9 -ProofGeneral-4.2-1
    1.10 \ No newline at end of file
    1.11 +ProofGeneral-4.2-1