| Sat, 30 May 2009 11:12:46 +0200 | Christian Urban | added infrastructure for index; antiquotations have now the options [index] and [indexc] | file | diff | annotate |
| Wed, 15 Apr 2009 13:11:08 +0000 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |