ProgTutorial/outputfn.ML
2009-05-30 Christian Urban added infrastructure for index; antiquotations have now the options [index] and [indexc]
less more (0) tip