| Wed, 18 Mar 2009 03:27:15 +0100 | Christian Urban | some polishing | file | diff | annotate |
| Wed, 18 Mar 2009 03:03:51 +0100 | Christian Urban | some polishing | file | diff | annotate |
| Tue, 17 Mar 2009 11:47:01 +0100 | Christian Urban | updated to new method_setup | file | diff | annotate |
| Tue, 17 Mar 2009 01:56:29 +0100 | Christian Urban | added a recipy about SAT solvers | file | diff | annotate |
| Fri, 20 Feb 2009 23:19:41 +0000 | Christian Urban | updated and added two tentative recipes | file | diff | annotate |