Tue, 25 Nov 2008 18:06:49 +0100 | ballarin | Test for term patterns added. | changeset | files |
Tue, 25 Nov 2008 18:06:21 +0100 | ballarin | Expression types cleaned up, proper treatment of term patterns. | changeset | files |
Mon, 24 Nov 2008 21:09:31 +0100 | krauss | check for more common errors first | changeset | files |
Mon, 24 Nov 2008 21:00:03 +0100 | krauss | improved error msg; tuned | changeset | files |