some grouping of components;
authorwenzelm
Fri Aug 17 17:52:10 2012 +0200 (2012-08-17)
changeset 488439055bf115e30
parent 48842 ac976e51cb67
child 48844 6408fb6f7d81
some grouping of components;
Admin/components/main
Admin/components/nonfree
Admin/components/optional
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/components/main	Fri Aug 17 17:52:10 2012 +0200
     1.3 @@ -0,0 +1,8 @@
     1.4 +cvc3-2.4.1
     1.5 +e-1.5
     1.6 +jdk-7u6
     1.7 +jedit_build-20120813
     1.8 +kodkodi-1.2.16
     1.9 +scala-2.9.2
    1.10 +spass-3.8ds
    1.11 +z3-4.0
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/components/nonfree	Fri Aug 17 17:52:10 2012 +0200
     2.3 @@ -0,0 +1,2 @@
     2.4 +vampire-1.0
     2.5 +yices-1.0.28
     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/Admin/components/optional	Fri Aug 17 17:52:10 2012 +0200
     3.3 @@ -0,0 +1,1 @@
     3.4 +hol-light-bundle-0.5-126