Starting with tag: [TAG 0.4.1 Conal Elliott **20081021012901] [wikipage: restored lost categories (Math, Packages) Conal Elliott **20081031181130] [fundep --> associated types for VectorSpace Conal Elliott **20081108180550] [AffineSpace now assoc-type Conal Elliott **20081108190442]