Admin/contributed_components
changeset 48149 9cb0abdf7c07
parent 48148 84395a03abbb
child 48150 c97656ff4154
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