wok-next log

age author description
2020-06-25 Hans-G?nter Theisgen updated editobj (0.4 -> 0.5.1)
2020-06-25 Hans-G?nter Theisgen updated ed (1.14.2 -> 1.16)
2020-06-25 Hans-G?nter Theisgen updated ecj (3.6 -> 4.16)
rev 21617: (0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 tip