| Fri, 30 Jan 2009 16:58:31 +0100 | boehmes | rewrote recipes describing external solvers | file | diff | annotate |
| Tue, 27 Jan 2009 06:15:13 +0000 | Christian Urban | fixed typos | file | diff | annotate |
| Mon, 26 Jan 2009 16:09:02 +0000 | Christian Urban | polished | file | diff | annotate |
| Mon, 26 Jan 2009 12:29:01 +0000 | Christian Urban | some tuning | file | diff | annotate |
| Wed, 07 Jan 2009 16:29:49 +0100 | boehmes | Added four recipes. | file | diff | annotate |