| Sat, 03 Oct 2009 13:01:39 +0200 | Christian Urban | updated to new Isabelle; more work on the data section | file | diff | annotate |
| Fri, 02 Oct 2009 15:38:14 +0200 | Christian Urban | more work on the storing section | file | diff | annotate |
| Thu, 01 Oct 2009 10:19:21 +0200 | Christian Urban | more work on the tutorial | file | diff | annotate |
| Tue, 29 Sep 2009 22:10:48 +0200 | Christian Urban | started section about storing data | file | diff | annotate |
| Mon, 28 Sep 2009 23:52:06 +0200 | Christian Urban | updated foobar_proof example | file | diff | annotate |
| Mon, 28 Sep 2009 01:21:27 +0200 | Christian Urban | some polishing | file | diff | annotate |
| Tue, 25 Aug 2009 00:07:37 +0200 | Christian Urban | included some tests | file | diff | annotate |
| Fri, 21 Aug 2009 11:42:14 +0200 | Christian Urban | split up the first-steps section into two chapters | file | diff | annotate |
| Thu, 20 Aug 2009 23:30:51 +0200 | Christian Urban | added an experimental antiquotation to replace eventually ML_response_fake | file | diff | annotate |
| Thu, 20 Aug 2009 22:30:20 +0200 | Christian Urban | further polishing of index generation | file | diff | annotate |
| Thu, 20 Aug 2009 14:19:39 +0200 | Christian Urban | simplified a bit the index generation | file | diff | annotate |
| Thu, 20 Aug 2009 10:38:26 +0200 | Christian Urban | polished | file | diff | annotate |
| Wed, 19 Aug 2009 09:25:49 +0200 | Christian Urban | polished the exercises about constructing terms | file | diff | annotate |
| Wed, 19 Aug 2009 00:49:40 +0200 | Christian Urban | added exercise | file | diff | annotate |
| Tue, 18 Aug 2009 01:05:56 +0200 | Christian Urban | polished | file | diff | annotate |