| Tue, 08 Dec 2009 20:55:55 +0100 | Christian Urban | started to reformulate preserve lemmas | file | diff | annotate |
| Tue, 08 Dec 2009 17:30:00 +0100 | Christian Urban | changed names of attributes | file | diff | annotate |
| Tue, 08 Dec 2009 12:59:38 +0100 | Cezary Kaliszyk | Proper checked map_rsp. | file | diff | annotate |