Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 05:30:46 -0400] rev 18
tuned IsaMakefile
Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 05:28:39 -0400] rev 17
fixed creation of bibliography
Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 05:18:49 -0400] rev 16
polished
Christian Urban <urbanc@in.tum.de> [Thu, 02 Oct 2008 04:48:41 -0400] rev 15
added a solution section and some other minor additions
Christian Urban <urbanc@in.tum.de> [Wed, 01 Oct 2008 20:42:55 -0400] rev 14
added a paragraph about "uses" and started a paragraph about tracing
Christian Urban <urbanc@in.tum.de> [Wed, 01 Oct 2008 20:09:45 -0400] rev 13
polished and added a subdirectory for the recipes
Christian Urban <urbanc@in.tum.de> [Wed, 01 Oct 2008 15:40:20 -0400] rev 12
various changes by Alex and Christian
Christian Urban <urbanc@in.tum.de> [Tue, 30 Sep 2008 03:30:40 -0400] rev 11
tuned and updated antquote_setup.ML
Christian Urban <urbanc@in.tum.de> [Wed, 17 Sep 2008 19:20:37 -0400] rev 10
many changes in the FirstSteps section
Christian Urban <urbanc@in.tum.de> [Wed, 17 Sep 2008 19:20:06 -0400] rev 9
added new version