| Wed, 18 Mar 2009 18:27:48 +0100 | Christian Urban | made the Ackermann function example safer and included suggestions from MW | file | diff | annotate |
| 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 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 |