| 2009-03-06 | Christian Urban | some additions to the simplifier section and general tuning | file | diff | annotate |
| 2009-02-23 | Christian Urban | polished | file | diff | annotate |
| 2009-02-22 | Christian Urban | started a section about simprocs | file | diff | annotate |
| 2009-01-15 | Christian Urban | used newly exported break reference in ThyOutput for writing separate output_list function | file | diff | annotate |