| 2009-01-29 | Christian Urban | tuned | file | diff | annotate |
| 2009-01-29 | Christian Urban | polishing | file | diff | annotate |
| 2009-01-28 | Christian Urban | updated version | file | diff | annotate |
| 2009-01-28 | Christian Urban | polished | file | diff | annotate |
| 2009-01-27 | Christian Urban | better handling of {* and *} | file | diff | annotate |
| 2009-01-27 | Christian Urban | some polishing | file | diff | annotate |
| 2009-01-27 | Christian Urban | polished the combinator section | file | diff | annotate |
| 2009-01-26 | Christian Urban | polished | file | diff | annotate |