2008-10-02 | Christian Urban | added a paragraph about "uses" and started a paragraph about tracing | file | diff | annotate |
2008-10-02 | Christian Urban | polished and added a subdirectory for the recipes | file | diff | annotate |
2008-10-01 | Christian Urban | various changes by Alex and Christian | file | diff | annotate |
2008-09-30 | Christian Urban | tuned and updated antquote_setup.ML | file | diff | annotate |
2008-09-17 | Christian Urban | many changes in the FirstSteps section | file | diff | annotate |
2008-09-15 | Christian Urban | added an explicit file containing references in the Implementation manual (should be replaced by antiquotations) | file | diff | annotate |