2008-12-16 | berghofe | Repaired output of marginal comments in ML antiquotation. | file | diff | annotate |
2008-12-13 | Christian Urban | tuned; added document antiquotation ML_response_fake_both | file | diff | annotate |
2008-11-29 | Christian Urban | removed the @{ML ...} antiquotation in favour of @{ML_open ...x} | file | diff | annotate |
2008-11-28 | Christian Urban | completes the recipie on antiquotations | file | diff | annotate |
2008-11-24 | Christian Urban | added more material | file | diff | annotate |
2008-10-29 | Christian Urban | deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup | file | diff | annotate |
2008-10-17 | Christian Urban | substantial changes to the antiquotations (preliminary version) | file | diff | annotate |
2008-09-30 | Christian Urban | tuned and updated antquote_setup.ML | file | diff | annotate |
2008-09-17 | Christian Urban | added new version | file | diff | annotate |
2008-09-05 | Christian Urban | split the document into smaller pieces; | file | diff | annotate |