| Wed, 01 Oct 2008 20:42:55 -0400 | Christian Urban | added a paragraph about "uses" and started a paragraph about tracing | changeset | files |
| Wed, 01 Oct 2008 20:09:45 -0400 | Christian Urban | polished and added a subdirectory for the recipes | changeset | files |
| Wed, 01 Oct 2008 15:40:20 -0400 | Christian Urban | various changes by Alex and Christian | changeset | files |
| Tue, 30 Sep 2008 03:30:40 -0400 | Christian Urban | tuned and updated antquote_setup.ML | changeset | files |