| Tue, 25 Nov 2008 23:28:06 +0100 | huffman | renamed lemma compact_minimal to compact_bot_minimal; | changeset | files |
| Tue, 25 Nov 2008 23:26:44 +0100 | huffman | renamed lemma compact_minimal to compact_bot_minimal | changeset | files |
| Tue, 25 Nov 2008 18:07:33 +0100 | ballarin | Use standard export function. | changeset | files |
| Tue, 25 Nov 2008 18:07:01 +0100 | ballarin | Expression types cleaned up. | changeset | files |
| 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 |