| 2009-10-01 | Christian Urban | more work on the tutorial | file | diff | annotate |
| 2009-09-29 | Christian Urban | started section about storing data | file | diff | annotate |
| 2009-09-28 | Christian Urban | updated foobar_proof example | file | diff | annotate |
| 2009-09-27 | Christian Urban | some polishing | file | diff | annotate |
| 2009-08-24 | Christian Urban | included some tests | file | diff | annotate |
| 2009-08-21 | Christian Urban | split up the first-steps section into two chapters | file | diff | annotate |
| 2009-08-20 | Christian Urban | added an experimental antiquotation to replace eventually ML_response_fake | file | diff | annotate |
| 2009-08-20 | Christian Urban | further polishing of index generation | file | diff | annotate |