Starting with tag: [TAG 0.4 Conal Elliott **20081020004711] [AdditiveGroup now in exposed-modules Conal Elliott **20081021012827]