wneuper/isa: Admin/contributed_components@3a62f88d9650

Admin/contributed_components

updated scala;
removed jedit -- component needs to be build afresh from ISABELLE_HOME/src/Tools/jEdit;

     1 #contributed components

     2 contrib/cvc3-2.2

     3 contrib/e-1.2

     4 contrib/kodkodi-1.2.16

     5 contrib/spass-3.7

     6 contrib/scala-2.8.1.final

     7 contrib/vampire-1.0

     8 contrib/z3-2.15

wneuper/isa