Wed, 14 Apr 2010 13:21:38 +0200 merged
Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 13:21:38 +0200] rev 1832
merged
Wed, 14 Apr 2010 13:21:11 +0200 first working version of the automatic equivariance procedure
Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 13:21:11 +0200] rev 1831
first working version of the automatic equivariance procedure
Wed, 14 Apr 2010 10:39:03 +0200 Initial cleaning/reorganization in Fv.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 10:39:03 +0200] rev 1830
Initial cleaning/reorganization in Fv.
Wed, 14 Apr 2010 10:29:56 +0200 merged
Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 10:29:56 +0200] rev 1829
merged
Wed, 14 Apr 2010 10:29:34 +0200 preliminary tests
Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 10:29:34 +0200] rev 1828
preliminary tests
Wed, 14 Apr 2010 10:28:17 +0200 deleted test
Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 10:28:17 +0200] rev 1827
deleted test
Wed, 14 Apr 2010 08:42:38 +0200 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 08:42:38 +0200] rev 1826
merge
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip