| 2009-07-14 | Christian Urban | minor tuning | file | diff | annotate |
| 2009-07-13 | Christian Urban | added section about code maintenance and added an example for antiquotations | file | diff | annotate |
| 2009-06-24 | Christian Urban | adapted to changes in Isabelle | file | diff | annotate |
| 2009-05-29 | Christian Urban | some slight polishing | file | diff | annotate |
| 2009-05-23 | Christian Urban | added an example | file | diff | annotate |
| 2009-05-09 | Christian Urban | added more to the pretty section and updated the acknowledgements | file | diff | annotate |
| 2009-04-08 | Christian Urban | explained uses and use commands | file | diff | annotate |
| 2009-04-08 | Christian Urban | polished | file | diff | annotate |