Tue, 08 Dec 2009 20:55:55 +0100 | Christian Urban | started to reformulate preserve lemmas | changeset | files |
Tue, 08 Dec 2009 20:34:00 +0100 | Christian Urban | properly set up the prs_rules | changeset | files |
Tue, 08 Dec 2009 17:43:32 +0100 | Christian Urban | merged | changeset | files |