| Fri, 08 Jan 2010 11:07:53 +0100 | wenzelm | fixed type error; | changeset | files |
| Thu, 07 Jan 2010 17:41:06 +0100 | hoelzl | remove overloaded star operator, use specific vector / matrix operators | changeset | files |
| Thu, 07 Jan 2010 18:56:39 +0100 | hoelzl | finite annotation on cartesian product is now implicit. | changeset | files |