Sat, 05 Dec 2009 00:06:27 +0100 Christian Urban tuned code
Fri, 04 Dec 2009 21:43:29 +0100 Christian Urban merged
Fri, 04 Dec 2009 21:42:55 +0100 Christian Urban not yet quite functional treatment of constants
Fri, 04 Dec 2009 19:47:58 +0100 Cezary Kaliszyk Changed FOCUS to SUBGOAL in rep_abs_rsp_tac; another 20% speedup :)
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip