Fri, 15 Jan 2010 15:56:25 +0100 merged
Christian Urban <urbanc@in.tum.de> [Fri, 15 Jan 2010 15:56:25 +0100] rev 893
merged
Fri, 15 Jan 2010 15:56:06 +0100 added free_variable function (do not know about the algorithm yet)
Christian Urban <urbanc@in.tum.de> [Fri, 15 Jan 2010 15:56:06 +0100] rev 892
added free_variable function (do not know about the algorithm yet)
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip