Admin/contributed_components
author hoelzl
Fri, 14 Jan 2011 14:21:48 +0100
changeset 41544 c3b977fee8a3
parent 41450 3a62f88d9650
child 42076 195566127689
permissions -rw-r--r--
introduced integral syntax

#contributed components
contrib/cvc3-2.2
contrib/e-1.2
contrib/kodkodi-1.2.16
contrib/spass-3.7
contrib/scala-2.8.1.final
contrib/vampire-1.0
contrib/z3-2.15