Mon, 07 Dec 2009 23:45:51 +0100 Christian Urban tuning of the code
Mon, 07 Dec 2009 21:54:14 +0100 Christian Urban merged
Mon, 07 Dec 2009 21:53:50 +0100 Christian Urban removed "global" data and lookup functions; had to move a tactic out from the inj_repabs_match tactic since apply_rsp interferes with a trans2 rule for ===>
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip