| Tue, 18 Aug 2009 01:05:56 +0200 | Christian Urban | polished | file | diff | annotate |
| Tue, 04 Aug 2009 16:18:39 +0200 | Christian Urban | added an antiquotation for printing the raw proof state; polished the example about proof state | file | diff | annotate |
| Mon, 03 Aug 2009 16:47:01 +0200 | Christian Urban | tuned | file | diff | annotate |