Admin/components
changeset 48153 210043eb4c88
parent 48149 9cb0abdf7c07
child 48161 3fd1bccb0834
equal deleted inserted replaced
48152:f06697f776b0 48153:210043eb4c88
     6 contrib/spass-3.8ds
     6 contrib/spass-3.8ds
     7 contrib/scala-2.9.2
     7 contrib/scala-2.9.2
     8 contrib/vampire-1.0
     8 contrib/vampire-1.0
     9 contrib/yices-1.0.28
     9 contrib/yices-1.0.28
    10 contrib/z3-3.2
    10 contrib/z3-3.2
       
    11 contrib/jedit_build-20120414