2009-05-30 | Christian Urban | corrected index references and minor polishing | file | diff | annotate |
2009-05-30 | Christian Urban | added some first index-information | file | diff | annotate |
2009-05-30 | Christian Urban | added infrastructure for index; antiquotations have now the options [index] and [indexc] | file | diff | annotate |
2009-05-29 | Christian Urban | some slight polishing | file | diff | annotate |