Mon, 23 Nov 2009 23:09:03 +0100 | Christian Urban | fixed the error by a temporary fix (the data of the eqivalence relation should be only its name) | changeset | files |
Mon, 23 Nov 2009 22:00:54 +0100 | Christian Urban | merged | changeset | files |
Mon, 23 Nov 2009 21:59:57 +0100 | Christian Urban | tuned some comments | changeset | files |