docs/master

log makefile

age author description
Wed, 11 Jul 2012 11:04:43 +0200 markus schnalke Added appendix ``tools of mmh''
Tue, 10 Jul 2012 18:48:32 +0200 markus schnalke Mentioned the source of the Dijkstra quote and fixed the ref system.
Tue, 10 Jul 2012 17:28:39 +0200 markus schnalke We won't have an abstract.
Mon, 09 Jul 2012 17:41:05 +0200 markus schnalke Renamed Chapter 3 back from `Future of mmh' to `Summary'.