2008-12-16 | Christian Urban | fixed typos | file | diff | annotate |
2008-11-28 | Christian Urban | completes the recipie on antiquotations | file | diff | annotate |
2008-11-01 | Christian Urban | fixed FIXME's in fake responses | file | diff | annotate |
2008-10-30 | Christian Urban | hakked latex so that it does not display ML {* *}; general tuning | file | diff | annotate |
2008-10-29 | Christian Urban | added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit | file | diff | annotate |
2008-10-10 | berghofe | Antiquotation setup is now contained in theory Base. | file | diff | annotate |
2008-10-06 | Christian Urban | some slight polishing | file | diff | annotate |
2008-10-02 | Christian Urban | added a solution section and some other minor additions | file | diff | annotate |
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 | base |