Sat, 19 Dec 2009 22:21:51 +0100 avoided global "open"s - replaced by local "open"s
Christian Urban <urbanc@in.tum.de> [Sat, 19 Dec 2009 22:21:51 +0100] rev 762
avoided global "open"s - replaced by local "open"s
Sat, 19 Dec 2009 22:09:57 +0100 small tuning
Christian Urban <urbanc@in.tum.de> [Sat, 19 Dec 2009 22:09:57 +0100] rev 761
small tuning
Sat, 19 Dec 2009 22:04:34 +0100 various tunings; map_lookup now raises an exception; addition to FIXME-TODO
Christian Urban <urbanc@in.tum.de> [Sat, 19 Dec 2009 22:04:34 +0100] rev 760
various tunings; map_lookup now raises an exception; addition to FIXME-TODO
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip