--- a/Admin/components/main Sun Jan 06 10:02:34 2013 +0100 +++ b/Admin/components/main Sun Jan 06 12:44:45 2013 +0100 @@ -7,6 +7,6 @@ jfreechart-1.0.14 kodkodi-1.5.2 polyml-5.5.0 -scala-2.9.2 +scala-2.10.0 spass-3.8ds z3-3.2