| Wed, 05 Aug 2009 09:24:18 +0200 | Christian Urban | added a comment for printing out information and tuned some examples accordingly | file | diff | annotate |
| Wed, 05 Aug 2009 08:58:28 +0200 | Christian Urban | polished comment for error function | 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 |