Admin/components
changeset 48149 9cb0abdf7c07
child 48153 210043eb4c88
equal deleted inserted replaced
48148:84395a03abbb 48149:9cb0abdf7c07
       
     1 #contributed components
       
     2 contrib/cvc3-2.2
       
     3 contrib/e-1.5
       
     4 contrib/hol-light-bundle-0.5-126
       
     5 contrib/kodkodi-1.2.16
       
     6 contrib/spass-3.8ds
       
     7 contrib/scala-2.9.2
       
     8 contrib/vampire-1.0
       
     9 contrib/yices-1.0.28
       
    10 contrib/z3-3.2