| Tue, 17 Mar 2009 17:32:12 +0100 | Christian Urban | a simplification suggested by Stefan and some polishing | file | diff | annotate |
| Tue, 17 Mar 2009 12:26:34 +0100 | Christian Urban | added hyperlinks for every file pointer | 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 |